- 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 Cambridge.
Research
Currently working on CN, a separation logic refinement type system for C.
Have previously worked 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
Please note: I'm no longer supervising.
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
NumLin: Linear Types for Linear Algebra (with Dr. Neel Krishnaswami). ECOOP 2019: https://2019.ecoop.org/details/ecoop-2019-papers/21/NumLin-Linear-Types-for-Linear-Algebra. Source code and appendix: https://github.com/dc-mak/NumLin.