CaoCao hires Turing laureate Sifakis to drive trustworthy AI

CaoCao bringing Joseph Sifakis into its inner circle is a notable talent move in the emerging field of “physical AI”—autonomous vehicles, robotaxis and robotic logistics. Sifakis is best known for formal methods and verification of complex systems, and more recently for work on trustworthy AI. His appointment suggests that at least some Chinese mobility players see safety, verification and system reliability as differentiators, not afterthoughts, as they scale autonomous fleets. ([globenewswire.com](https://www.globenewswire.com/news-release/2026/06/29/3318638/0/en/turing-award-laureate-joseph-sifakis-appointed-chief-scientific-advisor-as-caocao-accelerates-ai-transformation.html))

This also reflects a growing pattern: leading academics in verification and control theory are being pulled into industrial labs to harden large model‑driven systems that now directly affect physical safety. For the AGI race, robotaxis are a proving ground for whether we can integrate powerful models with formal guarantees and real‑world constraints. If CaoCao can combine Sifakis’s methodology with its RoboX platform and AI Innovation Center, it could set a benchmark for how to deploy agentic systems in safety‑critical settings.

Strategically, it’s another example of Chinese firms courting global scientific prestige to legitimise their AI strategies. That may influence how global regulators and partners view Chinese autonomous driving platforms, and it underscores that the competition is no longer just about more parameters but about who can make complex AI systems provably safe.