Ben Simner

Ph.D. student under supervision of Peter Sewell. Working on multicore semantics.