“π-calculus, Session Types research at the University of Oxford”In its own words: mrg.cs.ox.ac.uk
A University of Oxford research group working on the pi-calculus and session types for concurrent and distributed programming.
Show detailsHide details
Received $108k from 1 funder
Led by Nobuko Yoshida (PI)Checked 26 Oct 2026
Money flows
Where its 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 $108k, newest first.
2024 1 grant · $108k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Dec 2024 | Advanced Research + Invention Agency | $108k | Safeguarded AI TA1.1 protocol specification; £85,000 incl. VAT; technical area inferred source |