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
