Experience
Education
Bio
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.