About
Michele Chiari is a researcher at TU Wien's TrustCPS group, with former affiliations at Politecnico di Milano's DEIB department. His work focuses on formal methods, temporal logic, and verification of safety-critical systems.
- Current affiliation: TU Wien, TrustCPS group
- Former affiliation: Politecnico di Milano, DEIB
His research bridges temporal logic and probabilistic model checking, with innovations like Pushdown Operator Precedence Temporal Logic (POTL) for recursive program verification. Current projects include probabilistic pushdown automata verification under the MSCA PF CORPORA initiative.
Articles in recent years explore signal temporal logic tableau methods, probabilistic hyperproperties for decentralized planning, and parallel parsing with operator precedence grammars. These align with his expertise in formal verification and approximate computing.
- Scientific awards:
- Best Student Paper Award at AAMAS 2025
He actively contributes to open-source tools like TAFFO for floating-point precision tuning and OPPAS for recursive probabilistic program verification. Collaborations span academic conferences (ECOOP, CAV) and H2020 projects like PIACERE.
Find Michele Chiari elsewhere
Related Searches
You Might Also Like
- MMichele ChiariVienna University of Technology · Researcher
- MMichele ChiariSingapore Management University · Research Fellow
Michele ChiariInria · Researcher- EEzio BartocciVienna University of Technology · Professor
- SStefan Alexander SchuppVienna University of Technology · Researcher
- CChristos TsigkanosVienna University of Technology · Assistant Professor