Giuseppe Castagna

Giuseppe Castagna received a PhD degree in theoretical computer science from the University Paris 7 on January 1994. The same year he was appointed research scientist of CNRS (Centre National de la Recherche Scientifique) and posted in the Computer Science Laboratory of the École Normale Supérieure de Paris. In 2001 he starts the “Programming Languages” group in École Normale Supérieure that he leads till fall 2006, when he is appointed senior research scientist of CNRS and posted the Institut de Recherche en Informatique Fondamentale (IRIF: Research Institute on the Foundations of Computer Science) of University Paris Diderot. He was deputy director of IRIF from 2018 to 2022 and director of the institute since January 2023.

His main research contributions are in the design and definition of typed programming languages.