skip to content

Department of Computer Science and Technology

  • PhD Student

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

Research

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

Teaching

  • Semantics of Programming Languages

Contact Details

Room: 
FS14
Email: 

rb2018@cam.ac.uk