skip to content

Department of Computer Science and Technology

  • PhD Student

Hi, I'm Dhruv, I'm a PhD student under the supervision of Dr. Neel Krishnaswami and Prof. Peter Sewell at the Department of Computer Science and Technology, University of Cambridge. I am also a member of Trinity College. I'm currently based in Wellington, New Zealand.

Research

Currently working on https://github.com/rems-project/read-dwarf/, a Translation-Validation tool of ELF binaries produced from C sources.

  • Formal verification
  • Functional programming
  • Operating sytems
  • Compilers
  • Linear types
  • Paraconsistent logic

Teaching

IA:

  • Foundations of CS
  • Discrete Maths

IB:

  • Programming in C/C++
  • Semantics of Programming Languages
  • Compiler Construction
  • Computation Theory
  • Complexity Theory
  • Concepts in Programming Languages
  • Further Java
  • Prolog

II:

  • Denotational Semantics
  • Types
  • Optimising Compilers
  • Hoare Logic & Model Checking

Publications

Contact Details

Room: 
FS04
Office phone: 
(01223) 7-63689
Email: 

dcm41@cam.ac.uk