Registered user since Mon 6 May 2019
Name:Dhruv Makwana
Bio:
I am a 3rd year PhD student supervised by Neel Krishnaswami and Peter Sewell, working on a refinement and separation logic type system for low-level C programs. I used to work at Goldman Sachs on the SecDb Architecture team; before that I had an internship at Arm (Cambridge) in Formal Verification and a shorter placement at Myrtle Software. I graduated with a Master’s in Computer Science from the University of Cambridge where I specialized in programming languages (mostly), hardware and formal verification.
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://www.cst.cam.ac.uk/people/dcm41
GitHub: https://github.com/dc-mak
Research interests:Programming Languages, Type systems, Formal Verification, Compilers
Contributions
Using general profile