Academic
Mariangiola Dezani-Ciancaglini
Italian logician and theoretical computer scientist
- Life
- 1946 – present
- Born
- 1946
Mariangiola Dezani-Ciancaglini is an Italian logician and theoretical computer scientist whose research topics include type theory and intersection type disciplines, lambda calculus, and programming language semantics. She is a professor emerita at the University of Turin.
