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