Michele Chiari
Scientist at Technische Universität Wien
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolMichele Chiari is a scientist and formal methods researcher with a decade of experience building model checkers and verification tools for safety-critical and real-time systems. He led the MSCA PF CORPORA project at TU Wien and has developed tools for probabilistic programs with recursive procedures, contributed a novel logic (POTL), and worked on precision-tuning in TAFFO. Michele blends deep theoretical expertise in temporal logic, automata theory, and (probabilistic) model checking with practical systems programming in C, C++, Python, and Haskell. His work on Infrastructure-as-Code verification and explicit-state model checkers reflects a rare mix of applied security assurance and core research. Now based in Vienna and working at AIT, he continues to bridge academia and engineering to deliver verifiable, production-ready analyses. An understated strength is his ability to translate advanced formal concepts into usable tooling for real-world codebases.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Computer Science and Engineering, Doctor of Philosophy - PhD Computer Science and Engineering at Politecnico di MilanoBachelor of Science (B.Sc.) Informatica, Bachelor of Science (B.Sc.) Informatica at Università degli Studi di ParmaInternational Exchange Program Computer Science, International Exchange Program Computer Science at Boston College
Italian, English, German
Github Skills (17)
compiler-plugin10
fixed-point10
floating9
checker9
api8
floating-point7
padding7
servant7
z37
optimization7
smt7
sat-solver6
python6
haskell5
programming-language5
Programming languages (5)
Github contributions (5)
michiari/ppl
Oct 2019 - Dec 2021
Exercise classes for the course Principles of Programming Languages at Politecnico di Milano.
Contributions:45 commits, 1 PR, 41 pushes in 2 years 2 months
milanopolitecnico-di-milanoprinciplesprogramming-languageslanguages
michiari/piacere-mc-openapi
Jan 2022 - Nov 2022
PIACERE DOML Model Checker
Contributions:3 releases, 47 pushes, 6 branches in 10 months
model-checkerchecker
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.