Home

I am a scientist at AIT Austrian Institute of Technology, within the Center for Digital Safety & Security. My research is focused on the verification of cyber-physical systems, possibly including generative AI components, and automated reasoning.

During my PhD in the deepse group at DEIB, Politecnico di Milano, I introduced POTL, a temporal logic based on Operator Precedence Languages, to better model and specify recursive programs. I also worked on floating-point verification and approximate computing, and collaborated on TAFFO, a compiler-based precision-tuning framework.

Afterward, I was PI of the MSCA PF project CORPORA at the TrustCPS group, TU Wien, where I investigated verification of recursive probabilistic programs through probabilistic pushdown model checking.

I contribute to and maintain the OPPAS tool suite for verifying recursive (probabilistic) programs.

Contact

The best way to contact me is by email: [name.surname@ait.ac.at]
GitHub: michiari
LinkedIn: Michele Chiari