User:Cducer/sandbox
Giuseppe Castagna | |
|---|---|
| Born | 1966 |
| Nationality | Italian |
| Alma mater | Paris Diderot University, Università degli Studi di Pisa |
| Awards | Member of the Academia Europaea |
| Scientific career | |
| Fields | Computer Science |
| Institutions | CNRS |
| Thesis | Functional Foundations of Object-Oriented Programming (1994) |
| Doctoral advisor | Giuseppe Longo |
Giuseppe Castagna is an Italian computer scientist employed by CNRS. His research interests include programming language design, concurrency, and type theory.
Biography
[edit]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
[edit]Castagna is the scientific leader and one of the designers of CDuce, a functional programming language to process XML data[1]. He is known for his work on the problem of covariance and contravariance to which he gave the first formal definition[2], for having defined the type theory of multiple-dispatching object-oriented languages[3][4], and for having started and developed the theory of semantic subtyping for set-theoretic types[5][6][7][8]. Semantic subtyping for set-theoretic types underlies the static type checking of some dynamic languages, such as Elixir[9] and Luau[10].
Awards and honours
[edit]- In 2011 Castagna was peer-elected member of the Academia Europaea[11].
- The article Set-Theoretic Foundation of Parametric Polymorphism and Subtyping by Castagna and Xu[6] was nominated by SIGPLAN for the CACM Research Highlights since "elected representative" for the area of Programming Languages.[12]
- 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
[edit]- 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
References
[edit]- ^ V. Benzaken, G. Castagna, and A. Frisch.CDuce: an XML-Centric General-Purpose Language. In ICFP '03, 8th ACM International Conference on Functional Programming, pag. 51―63, ACM Press, 2003.
- ^ Giuseppe Castagna (1995). "Covariance and contravariance: conflict without a cause". Transactions on Programming Languages and Systems (TOPLAS). 17 (3). ACM. Retrieved April 19, 2013.
- ^ Giuseppe Castagna, Giorgio Ghelli, and Giuseppe Longo (1995). "A calculus for overloaded functions with subtyping". Information and Computation. 117 (1). Academic press: 115–135. doi:10.1006/inco.1995.1033. Retrieved April 19, 2013.
{{cite journal}}: CS1 maint: multiple names: authors list (link) - ^ Castagna, Giuseppe (1996). Object-Oriented Programming: A Unified Foundation. Birkhäuser. p. 384. ISBN 978-0-8176-3905-1.
- ^ A. Frisch, G. Castagna, and V. Benzaken:Semantic Subtyping: dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM, vol. 55, n. 4, pag. 1―64, 2008.
- ^ a b Giuseppe Castagna and Zhiwu Xu (2011). "Set Theoretic Foundation of parametric polymorphism and subtyping". ACM SIGPLAN Notices - ICFP '11. 46 (9). ACM: 94–106. doi:10.1145/2034574.2034788.
- ^ G. Castagna, K. Nguyễn, Z. Xu, H. Im, S. Lenglet, and L. Padovani (2014). "Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation". 41st ACM Symposium on Principles of Programming Languages. doi:10.1145/2535838.2535840.
{{cite journal}}: CS1 maint: multiple names: authors list (link) - ^ G. Castagna, K. Nguyễn, Z. Xu, and P. Abate (2015). "Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction". 42nd ACM Symposium on Principles of Programming Languages. doi:10.1145/2676726.2676991.
{{cite journal}}: CS1 maint: multiple names: authors list (link) - ^ "Elixir v1.17 released: set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support". Retrieved 29 June 2024.
- ^ Jeffrey, Alan. "Semantic Subtyping in Luau". Roblox.
- ^ Personal page at the Academia Europaea
- ^ SIGPLAN CACM Research Highlights Nominated Papers.
External links
[edit]- Home page at Université Paris Cité
- Giuseppe Castagna publications indexed by Google Scholar
- Giuseppe Castagna at DBLP Bibliography Server
- Giuseppe Castagna at the Mathematics Genealogy Project
Category:Italian computer scientists
Category:Formal methods people
Category:Programming language researchers