I am a Computer Science PhD student in the deepse group, at DEIB, Politecnico di Milano. My supervisors are Dino Mandrioli and Matteo Pradella.
My research interests cover formal methods for the verification of safety-critical and real-time systems, focusing on temporal logic, formal languages and automata theory.

I am currently working on context-free temporal logic and model checking. In particular, I am developing new temporal logics based on Operator Precedence Languages, with the purpose of allowing better and more general modelling and specification of procedural programs.

I am also interested in the verification of floating-point computations, as well as approximate computing.
I am part of the fabulous TAFFO development team.



The best way to contact me is by email: michele.chiari@polimi.it
Twitter: @micchiari
GitHub: michiari

Sometimes, you may also find me here:
DEIB – Politecnico di Milano
Office 001, Floor 3, Building 22
Via Camillo Golgi 42, 20133 Milan, Italy
+39 02 2399 3707