Dino Mandrioli
Full Professor

Prof. Dino Mandrioli is full professor of computer science at the Politecnico di Milano since 1983. His research interests include formal methods and software engineering, with particular reference to requirement specification of safety-critical and real time systems. He has participated as a senior consultant in many projects in cooperation with small, medium, and large industries. He has published over 80 scientific papers in major journals and conferences of the field and has also (co)authored several books

Office

Via Golgi 42 - Ed. 22
3
321

Contact Information

3522
3574
mandrioli (at) elet.polimi.it
http://home.dei.polimi.it/mandriol/SitoItaliano/sitowebpersit.html

Publications

DBLP