Jump to content

Mariangiola Dezani-Ciancaglini

From Wikipedia, the free encyclopedia

Mariangiola Dezani-Ciancaglini (born 22 December 1946) 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.

Education and career

[edit]

Dezani-Ciancaglini was born on 22 December 1946 in Turin. After earning a master's degree in physics at the University of Turin in 1970, and working as a researcher at Turin as a CNR fellow, she became an assistant professor of computer science at Turin in 1972, and full professor in 1981.[1]

While continuing as a professor, she earned a Ph.D. from the Catholic University of Nijmegen in the Netherlands in 1996.[1] Her dissertation, Logical Semantics for Concurrent Lambda-Calculus, was jointly promoted by Henk Barendregt and Corrado Böhm.[2]

She served as dean of computer science at the University of Turin from 2005 to 2008, and retired to become a professor emerita in 2018.[3]

Recognition

[edit]

Dezani-Ciancaglini was elected to the Academia Europaea in 1993.[1] In 2015 she was named a Fellow of the European Association for Theoretical Computer Science "for distinguished and seminal achievements in formal methods and foundations of programming languages, introducing or developing new type systems for the lambda-calculus as well as for the pi-calculus and related calculi".[4]

References

[edit]
  1. ^ a b c "Mariangiola Dezani-Ciancaglini", Member profile, Academia Europaea, retrieved 2020-10-05; see also attached curriculum vitae
  2. ^ Mariangiola Dezani-Ciancaglini at the Mathematics Genealogy Project
  3. ^ Short curriculum vitae, University of Turin, retrieved 2020-10-05
  4. ^ EATCS Fellows class of 2015 named, European Association for Theoretical Computer Science, retrieved 2020-10-05
[edit]