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
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.
Visitor metrics
Aggregate · GDPR-compliantSite total
—
—
Site today
—
Yesterday: —