Registered user since Thu 20 Jan 2022
Name:Dominic Mulligan
Bio:
Principal research engineer within the Systems Group, Arm, Cambridge. Interested in formal methods, distributed systems, and privacy-preserving compute. Formerly a postdoc at the Universities of Cambridge and Bologna.
Country:United Kingdom
Affiliation:Arm Research
Personal website:https://dominicpm.github.io
Research interests:Formal methods, distributed systems, privacy-preserving compute
Contributions
PriSC 2022 | The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile