Registered user since Thu 20 Jan 2022
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.
|PriSC 2022||The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code|
|Show activities from other conferences|
View general profile