Christopher Pulte


Office FS20
Computer Laboratory
15 JJ Thomson Avenue
Cambridge, CB3 0FD, UK

I'm a PhD Student at the Computer Laboratory, University of Cambridge under the supervision of Peter Sewell, working on the semantics of concurrent ARM and POWER programs.