Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
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
Research interests:Adaptive systems, Context-oriented programing, Dynamic analysis and verification

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile