ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Giuseppe Castagna

Registered user since Mon 29 Sep 2014

Name:Giuseppe Castagna

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.

Affiliation:CNRS; Université Paris Cité
Personal website: http://www.irif.fr/~gc/
Research interests:Programming languages, models of computation, language level security, mobility, type theory, object-oriented programming, process algebras, languages for XML, web-services.


Show activities from other conferences

ICFP 2023-profile
View general profile