- 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.
Department of Computer Science and Technology
I am a first-year PhD student, supervised by Prof Peter Sewell and Dr Neel Krishnaswami.
Testing and verification of software/hardware, memory models, programming languages.
Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD
Information provided by pagemaster@cst.cam.ac.uk
© 2023 University of Cambridge