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||Author of The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-generating code within the PriSC 2022-track|