Registered user since Thu 20 Jan 2022

Name:Dominic Mulligan

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
Research interests:Formal methods, distributed systems, privacy-preserving compute


Show activities from other conferences

POPL 2022-profile
View general profile