Sun 22 - Fri 27 October 2017 Vancouver, Canada
Nicolás Cardozo

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

SPLASH 2017 Activities