- PhD Students
I am a second-year PhD student supervised by Peter Sewell working on the formalisation of weak memory models and proving equivalences between them in the Rocq Prover.
Department of Computer Science and Technology
I am a second-year PhD student supervised by Peter Sewell working on the formalisation of weak memory models and proving equivalences between them in the Rocq Prover.
first.last@cl.cam.ac.uk
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
© 2025 University of Cambridge