he/him
Postdoctoral researcher at University of Oxford working on formal verification, type systems, and quantum processes.
Sorry, but the page you were trying to view does not exist.