I am a Computer Science PostDoc in the deepse group, at DEIB, Politecnico di Milano.
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 involved in the PIACERE H2020 project, in which I am investigating ways of model checking Infrastructure-as-Code.

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