- š 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 Goto Github PK
Name: Nicolas Cardozo
Type: User
Company: Universidad de los Andes
Bio: Associate Professor and PI of @FLAGlab at Universidad de los Andes
Twitter: ncardoz
Location: Colombia