Dino Mandrioli

Personal Web Site

Description: F:\My Documents\DATI PERSONALI\WebPage\SitoInglese\imagePVF.JPG

Dino Mandrioli, professor

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:dino.mandrioli@polimi.it

  

   

  

 


 

 

 

 

 

 

 

 

 

Description: F:\My Documents\DATI PERSONALI\WebPage\SitoInglese\curric.gifCurriculum Vitae

 

 

 

 

 

 

 


 

 

 

 

 

 

 

 

 

 

 

Description: F:\My Documents\DATI PERSONALI\WebPage\SitoInglese\listapub.gifPublication list

 

 

 

 

 

 


 

 

 

 

 

 

 

 

 

 

Description: F:\My Documents\DATI PERSONALI\WebPage\SitoInglese\info.gifOther general info

 

 

 

 

 

 


 

 

 

 

 

 

 

 

 

 

 

Description: image001                    Other links

To:

Fundamentals of Software engineering

Safety-critical Systems: the TRIO research

PhD Thesis Proposal in the field of Formal Methods

UIC master course: Formal methods for concurrent and real-time systems