Trustworthy Cyber-Physical Systems Group
Pioneering methods to ensure correctness, safety, security, and sustainability for AI-enabled systems interacting with the physical world.
Latest News
Why trustworthy AI needs runtime verification
A short, non-technical explanation of how runtime monitoring and enforcement complement learning-based autonomy in safety-critical cyber-physical systems.
Read article →
Pillars of Research
Explore core research areas in CPS verification, monitoring, probabilistic reasoning, and trustworthy AI.
TrustCPS Group
Meet faculty, postdocs, and students working on dependable AI-enabled cyber-physical systems.
Tools & Software
Discover open-source tools for runtime verification, probabilistic programs, testing, and debugging.
Projects & Funding
See our flagship projects, funding portfolio, and industrial collaborations advancing CPS safety.
Partners & Funders
Selected research partners and funding organizations supporting TrustCPS activities.
