User:Cducer/sandbox

Giuseppe Castagna is an Italian computer scientist employed by CNRS. His research interests include programming language design, concurrency, and type theory.

Biography
Castagna earned two master degrees from University of Pisa and Université Paris Diderot in 1990 and a Ph.D. from the Université Paris Diderot in 1994. From 1994 to 2006 Castagna was CNRS researcher at the École Normale Supérieure where he created and lead the Programming Languages group. Since 2006 he is CNRS Senior Researcher, first in the Preuves Programmes et Systèmes laboratory (PPS) of the Université Paris Diderot, then from 2016 in the Institut de Recherche en Informatique Fondamentale (IRIF: Research Institute on the Foundation of Computer Science). Since 2023 he is the Director of IRIF, after having served as Deputy Director from 2018 to 2022.

Research
Castagna is the scientific leader and one of the designers of CDuce, a functional programming language to process XML data. He is known for his work on the problem of covariance and contravariance to which he gave the first formal definition, for having defined the type theory of multiple-dispatching object-oriented languages  , and for having started and developed the theory of semantic subtyping for set-theoretic types. Semantic subtyping for set-theoretic types underlies the static type checking of some dynamic languages, such as Elixir and Luau.

Awards and honours

 * In 2011 Castagna was peer-elected member of the Academia Europaea.


 * The article Set-Theoretic Foundation of Parametric Polymorphism and Subtyping by Castagna and Xu was nominated by SIGPLAN for the CACM Research Highlights since "elected representative" for the area of Programming Languages.


 * Castagna was joint keynote speaker of the ICALP and PPDP symposia in 2005; joint invited speaker of DBPL and XSYM symposia in 2005; invited speaker of ITRS 2012 and of FMOODS & FORTE 2011.


 * Castagna was Program Chair of ESOP 2009 and of ECOOP 2013 and General Chair of POPL 2017. From 2013 to 2018 Castagna chaired the Steering Committee of ESOP and from 2018 to 2019 chaired the Steering Committee of POPL.

Briefs

 * Secretary of Association française d'informatique fondamentale (2003-2007) the French Chapter of EATCS
 * member of Section 27 of Conseil national des universités (1997-2001)
 * member of GEV01 of the Agenzia nazionale di valutazione del sistema universitario e della ricerca (2011-2013)
 * member of Section 6 of Comité National de la Recherche Scientifique (2012-2017).
 * Director (since 2023) and deputy director (2018-2022) of the Institut de Recherche en Informatique Fondamentale