Mariangiola Dezani-Ciancaglini#
| Email: | dezani 'at' di.unito.it |
| Membership Number: | 1496 |
| Main Country of Residence: | ITALY |
| Section: | INFORMATICS |
| Username: | mdezani-ciancaglini |
Present and Previous Positions
- 1970-1980: Assistant Professor, Università di Torino, Torino, Italy
- 1981-today: Full 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






