Ben Simner



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