“My research interests lie on the analysis, verification, and optimal control of heterogeneous and complex dynamical models”In their own words: cs.ox.ac.uk
Professor of Verification and Control in Oxford's Department of Computer Science, working on SAINT, an ARIA-funded project on formal certification of AI agents.
Show detailsHide details
Received $309k from 1 funder
Checked 25 Oct 2026
Money flows
Where their money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
1 grant totalling $309k, newest first.
2024 1 grant · $309k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 20 Sep 2024 | Advanced Research + Invention Agency | $309k | Safeguarded AI TA1.1 SAINT (grant, 12 months); £243,317 per the Q2 FY24-25 transparency PDF (awarded 20 Sep 2024; Oxford news gave £234,000); technical area inferred source |