- ๐ 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 / csrankings Goto Github PK
View Code? Open in Web Editor NEWThis project forked from emeryberger/csrankings
A web app for ranking computer science departments according to their research output in selective venues.
Home Page: http://csrankings.org
License: Other