Ezio Bartocci

Ezio Bartocci is a Full Professor in Formal Methods for Cyber-Physical Systems Engineering at TU Wien's Faculty of Computer Science. He leads the Trustworthy Cyber-Physical Systems (TrustCPS) Group within the Cyber-Physical System Research Unit. His research focuses on formal verification, probabilistic systems, and runtime monitoring, with applications in autonomous systems, safety-critical software, and embedded systems.

Roles & Affiliations:

• Full Professor, TU Wien (100% research focus)
• Principal Investigator in projects funded by EU, WWTF, FFG, and industry partners
• Chair of the Curriculum Commission for Computer Engineering
• Editor-in-Chief of the Formal Methods in Outer Space series

Research Interests:

• Formal methods for CPS: verification, synthesis, and runtime monitoring
• Probabilistic programming and loop analysis
• Temporal logic specifications and mining
• Automated tools for safety-critical systems (e.g., Polar, MoonLight)
• Applications in healthcare, robotics, and autonomous vehicles

Key Projects:

• ProbInG (2020–2025): Analyzing probabilistic loops
• ARTIST (2021–2026): AI and robotics safety
• EdgeAI (2022–2025): Optimizing embedded processing
• TAIGER (2023–2027): Trustworthy AI and CPS

Grants & Funding: €10M+ secured from EU Horizon 2020, WWTF, FFG, and industry partners like TTTech Auto AG.

Academic Leadership: Teaches courses on logical methods, CPS engineering, and scientific research at TU Wien. Supervises PhD students in formal methods and CPS domains.

Tools Developed: Polar (probabilistic loop analyzer), MoonLight (spatio-temporal monitoring), and FIM (fault injection tool).