Dominic Mulligan -

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

2022

PriSC

Author of The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code within the PriSC 2022-track