TrustCPS Group
We develop methods and tools for trustworthy AI-enabled cyber-physical systems, combining formal verification, runtime monitoring, probabilistic reasoning, and testing.
TrustCPS Metro Map
Members as stations, research pillars as lines (clickable in SVG-enabled viewers).
Mission
Our goal is to ensure that autonomous and AI-based systems interacting with the physical world are correct, safe, secure, and sustainable by design. We build verification and monitoring techniques that scale from theory to real-world deployments in mobility, robotics, energy, and industry.
Collaborate with us
We welcome collaborations with academia and industry on safety-critical CPS and trustworthy autonomy. Typical outputs include open-source tools, research prototypes, and high-impact publications.
People
Head — Prof. Ezio Bartocci
Member Name
Member Name
Member Name
Member Name
Member Name
Join the group
We regularly host PhD students, postdocs, and thesis students in topics spanning runtime verification, trustworthy autonomy, probabilistic programs, and CPS testing. If you are interested, share a short description of your background and what you want to work on.