Investigadores

Full Professor of the Computer Science Department of the University of Chile, PhD in Computer Science, University of Nantes, France and University of Chile (2004). His areas of interest are programming, programming languages (design, semantics, implementation) as well as program verification. He publishes regularly in the most prestigious conferences and journals of these areas, and has received numerous distinguished and influential paper awards, as well as awards and research funding from Google Research and Facebook Research.