Dino Mandrioli
Sito web personale
Dino Mandrioli, professore
ordinario
Dipartimento
di Elettronica e Informazione
Politecnico
di Milano
Piazza
Leonardo Da Vinci 32
20133 Milano Italy
Tel. 39-02-2399-3522, 39-02-2399-9708
Fax. 39-02-2399-3411
email: mandrioli@elet.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