- ๐ Hi, Iโm @ncardozo - @ncardoz - @[email protected]
- ๐ 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
ncardozo / cop-landscape Goto Github PK
View Code? Open in Web Editor NEWThis is a small application to visualize the current landscape of Context-oriented languages
License: MIT License