Registered user since Mon 5 Jan 2015
Name: Nicolás Cardozo
Bio: I have been working on adaptive systems for the last couple of years. Currently I am approaching adaptive systems from programming language perspective, working on development (programming language design), verification (partial, and incremental techniques), and application (smart environments, CPS, and IoT) of these systems.
Country: Colombia
Affiliation: Universidad de los Andes
Personal website: https://profesores.virtual.uniandes.edu.co/ncardozo/
Research interests: Adaptive systems, Context-oriented programing, Dynamic analysis and verification
Contributions
| COP 2017 | Programme Committee in Program Committee within the COP-17-track Peace COrP: Learning to solve conflicts between contexts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile