Mariangiola Dezani-Ciancaglini#
| Membership Number: | 1496 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1993 |
| Main Country of Residence: | ITALY |
| Homepage(s): | http://www.di.unito.it/~dezani/index.html |
Present and Previous Positions
- 2018- Emeritus Professor, Università di Torino, Torino, Italy
- 1981-2017 Full Professor, Università di Torino, Torino, Italy
- 1970-1980 Assistant Professor, Università di Torino, Torino, Italy
Fields of Scholarship
- Lambda calculus
- Intersection types
- Logical semantics
- Foundations of object-oriented languages
- Session types
- Models of biological systems
