Éric Tanter

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