Giuseppe Castagna#
Membership Number: | 3036 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2011 |
Main Country of Residence: | FRANCE |
Homepage(s): | http://www.pps.univ-paris-diderot.fr/~gc |
Present and Previous Positions
- 2006-... Directeur de Recherche (Senior Researcher) CNRS, Université Paris Diderot, Paris 7
- 1994-2006 Chargé de Recherche (Researcher) CNRS, École Normale Supérieure de Paris
Fields of Scholarship
- Programming languages
- Type theory
- Concurrency theory