- 👋 Hi, I’m @ncardozo - @ncardoz - @ncardozo@fediscience.org
- 👀 I’m interested in the design and implementation of programming languages, as well as in the analysis, validation, and verification of different (distributed) software properties
- 🌱 I’m currently working on different reserach projects to enable the validation/verification of software systems focusing on: (1) validation of adaptive systems, (2) verification of distributed systems, and (3) validation/verification of RL programs. Additionally, I'm building analysis tools for RL systems, as a means to improve the programming experience.
- 📫 You can reach me via my institutional e-mail address at Uniandes
Associate Professor and PI of @FLAGlab at Universidad de los Andes
-
Universidad de los Andes
- Colombia
- https://profesores.virtual.uniandes.edu.co/ncardozo/
- @ncardoz
- @FLAGlab
Block or Report
Block or report ncardozo
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
context-traits
context-traits PublicForked from tagae/context-traits
Dynamic behaviour adaptation through run-time trait recomposition.
JavaScript
-
-
SCROLL
SCROLL PublicForked from max-leuthaeuser/SCROLL
SCROLL - SCala ROLes Language (A playground for role dispatch based on Scala)
Scala
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.