Dino Mandrioli
Pagina web
personale
Personal
web page
Dino Mandrioli, professor, retired
Dipartimento di Elettronica, Informazione e Bioingegneria
Politecnico di Milano
Piazza Leonardo Da Vinci 32
20133
Milano Italy
Tel. 39-02-2399-3522
Fax. 39-02-2399-3574
email: dino.mandrioli@polimi.it
Considerazioni sulla didattica
Considerazioni
sull'università e il Politecnico
Informazioni sui corsi
Algoritmi e Principi dell’Informatica
Formal methods in Concurrent and Distributed Systems (Analisi e progetto di sistemi critici)
Altri
link utili
Proposta di tesi
di dottorato nell'ambito dei metodi formali