Nicolás Cardozo Alvarez

Bogotá D.C. Area, Colombia Colombia

Assistant Professor at Universidad de los Andes

Education

My research interest meet at the intersection of software engineering and formal methods. On the one hand I investigate new and better ways to develop dynamic and adaptive software systems from a programming language perspective. On the other hand, I provide the formal underpinning of such new programming models, so that the systems under development are assured to work as expected during their conception. Additionally, as a researcher in software engineering and programming languages I have had contact with many different programming languages and development platforms. With a main focus on object-oriented languages (the Java family(J2SE, JEE, J2ME), SmallTalk, Objective-C, Ruby, ...) b...