skip to content

Department of Computer Science and Technology

  • PhD Student

I am a first-year PhD student, supervised by Prof Peter Sewell and Dr Neel Krishnaswami

Research

Testing and verification of software/hardware, memory models, programming languages.

Contact Details

Room: 
FS14
Email: 

rb2018@cam.ac.uk