Giuseppe Castagna#
| Email: | giuseppe.castagna 'at' pps.jussieu.fr |
| Membership Number: | 3036 |
| Main Country of Residence: | FRANCE |
| Section: | INFORMATICS |
| Username: | gcastagna |
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
Honours and Awards
| operated by | 
|