Michele Chiari

Biografia

Michele Chiari è un dottorando di ricerca in Ingegneria dell’Informazione presso il Politecnico di Milano, dove è collaboratore alla didattica per corsi di programmazione in C, Haskell e altri linguaggi. I suoi principali interessi di ricerca sono i metodi formali per la verifica del software e l’approximate computing.