Registered user since Mon 29 Sep 2014
Giuseppe Castagna is a researcher at the French National Centre for Scientific Research (CNRS). In 1994, he received a PhD degree in theoretical computer science from the University Paris 7. The same year he was appointed research scientists at the Computer Science Laboratory of the École Normale Supérieure de Paris where, since 2001, he directed the “Programming Languages” group. In 2006, he was appointed senior research scientist and posted at the Institut de Recherche en Informatique Fondamentale (IRIF: Research Institute on the Foundations of Computer Science) of the Université Paris Cité. He is the director of IRIF since January 2023 after having served as deputy director for 5 years.
His main research interests and contributions are in the definition, design, and implementation of type systems for programming languages.