“Since 2009 my work has focussed on the seL4 microkernel and trustworthy systems built on it.”In their own words: unsw.edu.au
Scientia Professor at UNSW who created the Trustworthy Systems group; since 2009 his work has focussed on the seL4 microkernel and trustworthy systems built on it.
Show detailsHide details
Received $55k 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 $55k, newest first.
2026 1 grant · $55k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Mar 2026 | Foresight Institute: Funding | ~$55k | Listed as previously funded on the AI for Science & Safety Nodes page. Affiliation: UNSW Sydney. Project details and grant date not published; first listed by Mar 2026. — AI for Science & Safety Nodes — listed as previou source |