Éric Tanter

Éric Tanter is a Full Professor in the Computer Science Department of the University of Chile.

He received his PhD from both the University of Nantes and the University of Chile in 2004.

His research interests cover programming languages and software engineering, ranging from the theoretical underpinnings of programming languages to the empirical study of the practice of programming. Recently, he has been mostly involved in the foundations and practice of gradual typing and verification.

Personal website : https://pleiad.cl/people/etanter