I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
did:plc:jjiv56ot7d6sgethto3jr3r5/sh.tangled.repo/3m3zt3yvswn22
Starred Apr 13, 2026
did:plc:2ysmfb6dnbcqs5peyt776ty6/sh.tangled.repo/3mg5r7342au22
Starred Mar 3, 2026
did:plc:jjiv56ot7d6sgethto3jr3r5/sh.tangled.repo/3meq4c5hnut22
Starred Feb 13, 2026
did:plc:qfpnj4og54vl56wngdriaxug/sh.tangled.repo/3luxars5czx22
Starred Jan 19, 2026
did:plc:nhyitepp3u4u6fcfboegzcjw/sh.tangled.repo/3lkqb2xfney22
Starred Mar 19, 2025