“My research is in programming language theory, and I'm also interested in logic and category theory.”In their own words: cs.ox.ac.uk
Professor of Computer Science at Oxford working on programming language theory, logic and category theory; leads an ARIA Safeguarded AI project applying categorical probability to safe AI.
Show detailsHide details
Received $866k 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 $866k, newest first.
2024 1 grant · $866k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Dec 2024 | Advanced Research + Invention Agency | $866k | Safeguarded AI TA1.1 categorical probability; £682,000 incl. VAT; technical area inferred source |