Dino Mandrioli

Curriculum Vitae

Dino Mandrioli was born in 1949. He graduated in electrical engineering at the Politecnico di Milano in 1972 and in mathematics at the Università Statale di Milano in 1976. He has been assistant and associate professor at Politecnico di Milano from 1976 to 1980; professor at the Università di Udine from 1981 to 1983. Since then, he is professor of computer science at the Politecnico di Milano. Chairman of Politecnico's curriculum in Computer Engineering, 1996-2001. Dean of Politecnico's Information Technology Engineering Faculty, 2007-2010.

He has been a visiting scholar at the University of California at Los Angeles in 1976, at the University of California at Santa Barbara in 1981, 1992, 1997, 2001, at Hewlett Packard research laboratories in Palo Alto in 1989 and 1990, at EPFL, Lausanne, in 1999. Mandrioli's research interests include theoretical computer science and software engineering, with particular reference to specification languages and environments, programming languages, real time systems. He has published over 100 scientific papers in major journals and conferences of the field, including Journal of the ACM, ACM Transactions on Programming Languages and Systems, ACM Transactions on Software Enegineering and Methodologies, IEEE Transactions on Software Engineering, Information and Computation (formerly Information and Control), SIAM Journal on Computing, Theoretical Computer Science, Software Practice and Experience, International Conference on Software Engineering. Many of his papers have had a fairly strong impact in the scientific community as it is shown by the many citations and reviews (e.g ACM’s Computing reviews). He has also published several books, including "Theoretical Foundations of Computer Science" with Carlo Ghezzi, "Fundamentals of Software Engineering" (I and II eds, translated in Italian, Chineese, and Russian) with Carlo Ghezzi and Mehdi Jazayeri, "The Art and Craft of Computing" (I and II eds, translated in Italian) with Stefano Ceri and Licia Sbattella, “Modeling Time in Computing”, with Carlo Furia, Angelo Morzenti and Matteo Rossi.

Mandrioli serves as a reviewer and as an editor for many international conferences and journals and has participated to program committees of several international conferences. He has been program co-chair of the Conference Formal Methods 2003 and has been appointed as co-chair of the first Student Contest on SW Engineering Projects (SCORE) held in 2009 as part of the International Conference on SW Engineering. Mandrioli is a distinguished scientist of the ACM, a member of FME (Formal Methods Europe), and a senior member of the IEEE Computer Society.

Mandrioli is the recipient of the scientific awards: Sperry UNIVAC,1982; Cray (Italian Section), 1991; Philip Morris,1992.

Mandrioli's vita appears in several biographic publications including Marquis' Who's Who in the World (11-th edition and following ones).