معرفی
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.
Michele Chiari در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMichele ChiariVienna University of Technology · پژوهشگر
- MMichele ChiariSingapore Management University · پژوهشگر ارشد
Michele ChiariInria · پژوهشگر- EEzio BartocciVienna University of Technology · استاد
- SStefan Alexander SchuppVienna University of Technology · پژوهشگر
- CChristos TsigkanosVienna University of Technology · استادیار