Éric Tanter

Professor in the Department of Computer Science at the 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 publishes regularly in the most prestigious conferences and journals in the field and has received several awards for distinguished and influential articles, as well as awards and research grants from Google Research and Facebook Research.