Jump to content

User:Cducer/sandbox

From Wikipedia, the free encyclopedia
Giuseppe Castagna
Born1966
NationalityItalian
Alma materParis Diderot University, Università degli Studi di Pisa
AwardsMember of the Academia Europaea
Scientific career
FieldsComputer Science
InstitutionsCNRS
Thesis Functional Foundations of Object-Oriented Programming  (1994)
Doctoral advisorGiuseppe 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]
  • 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 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]


References

[edit]
  1. ^ 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.
  2. ^ Giuseppe Castagna (1995). "Covariance and contravariance: conflict without a cause". Transactions on Programming Languages and Systems (TOPLAS). 17 (3). ACM. Retrieved April 19, 2013.
  3. ^ 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)
  4. ^ Castagna, Giuseppe (1996). Object-Oriented Programming: A Unified Foundation. Birkhäuser. p. 384. ISBN 978-0-8176-3905-1.
  5. ^ 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.
  6. ^ 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.
  7. ^ 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)
  8. ^ 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)
  9. ^ "Elixir v1.17 released: set-theoretic types in patterns, calendar durations, and Erlang/OTP 27 support". Retrieved 29 June 2024.
  10. ^ Jeffrey, Alan. "Semantic Subtyping in Luau". Roblox.
  11. ^ Personal page at the Academia Europaea
  12. ^ SIGPLAN CACM Research Highlights Nominated Papers.
[edit]


Category:Italian computer scientists Category:Formal methods people Category:Programming language researchers