I am an Assistant Professor at Universidad de Los Andes (Colombia). My research interests are in the design and development of programming languages; within this field, I focus on the development of language abstractions, analysis and verification of computer programs, and the dynamic adaptation of programs. I apply all these techniques to the area of distributed systems, under the umbrella of IoT and smart city applications.