Full Professor
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. Dean of the Faculty on Information Engineering at the same University from 2007 to 2010. He has been a visiting scholar at the University of California at Los Angeles, at the University of California at Santa Barbara, at Hewlett Packard research laboratories in Palo Alto, at EPFL in Lausanne.
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 Engineering 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 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 is also coauthor of many books, including Theoretical Foundations of Computer Science (J. Wiley & Sons, translated in Italian, in two editions), Fundamentals of Software Engineering (Prentice-Hall) (I and II edition, translated in Italian, Chinese, Russian), The Art and Craft of Computing (Addison Wesley, translated in Italian, in three editions), Modeling Time in Computing (EATCS Monograph, Springer).
Mandrioli serves as a reviewer and as an editor for many international conferences and journals and has participated to program committees of various international conferences. He has been program co-chair of the Conference Formal Methods 2003. and co-chair of the first Student Contest on SW Engineering Projects (SCORE) held as part of the 2009 International Conference on SW Engineering. Mandrioli is a distinguished scientist of the ACM, a senior member of the IEEE Computer Society, and a member of the FME (Formal Methods Europe) group; member of the New York Academy of Sciences during the period 1990-2000 (circa).
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).


Campus: Bld. 22 - Via Golgi 42
Floor: 3
Office: 303
Ph.: 3522
Fax:: 3574

How to dial an extension