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, formal methods, concurrency, and type theory.
Biography[edit]
Castagna earned two master degrees respectively 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 lead the Programming Languages group. Since 2006 he is CNRS Senior Researcher in the Preuves Programmes et Systèmes laboratory (PPS) of the Université Paris Diderot.
Research[edit]
Castagna is the scientific leader and one of the designers of CDuce, a functional programming language to process XML data[1][2]. He is known for his work on the problem of covariance and contravariance to which he gave the first formal definition[3], and for having defined the type theory of multiple-dispatching object-oriented languages[4][5].
Awards and honours[edit]
- In 2011 Castagna was peer-elected member of the Academia Europaea[6].
- The article Set-Theoretic Foundation of Parametric Polymorphism and Subtyping by Castagna and Xu[7] was nominated by SIGPLAN for the CACM Research Highlights since "elected representative" for the area of Programming Languages.[8]
- 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. Since 2013 Castagna chairs the Steering Committee of ESOP.
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-present).
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.
- ^ 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.
- ^ 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.
- ^ Personal page at the Academia Europaea
- ^ Castagna, Giuseppe (2011). "Set Theoretic Foundation of parametric polymorphism and subtyping". ACM SIGPLAN Notices - ICFP '11. 46 (9). ACM: 94–106. doi:10.1145/2034574.2034788.
{{cite journal}}: Unknown parameter|coauthors=ignored (|author=suggested) (help) - ^ SIGPLAN CACM Research Highlights Nominated Papers.
External links[edit]
- Home page at Université Paris Diderot
- 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