cv
Download my CV as a PDF on the right.
Basics
| Name | Dhruv Makwana |
| Label | PhD Candidate, Computer Science |
| Url | https://dc-mak.github.io |
| Summary | I am open to any work at the intersection of elegant abstractions, technical infrastructure problems and readable, working code. So far, I have focused on tooling performance, types, and verification. I’m enthusiastic about supporting others: I’ve trained new hires and mentored interns, given talks, made educational videos, and taught undergrads and children. My publications are available here. |
Work
-
2023.07 - 2023.09 London, UK
Meta
PhD Software Engineering Intern
Hack Type-checker, Developer Infrastructure
- Reduced risk of disruption to www.facebook.com with stricter switch check in Hack
- Result: improved robustness of 98.5% of 170K switches; signaled potential errors in rest
-
2020.04 - Present Cambridge, UK
University of Cambridge
PhD Candidate, Computer Science
Published and partnered with industry on CN, a verification tool for C
- Published research, contributed to open-source
- 2-10x speed-up in CI pipelines, with fine-grained output checking
- Streamlined onboarding: wrote explainers, recorded video overviews, and triaged project issues
- Taught undergrads - OCaml, Discrete Maths, Java, C/C++, Prolog, Compilers, Types, Semantics, Complexity Theory
-
2018.07 - 2020.07 London, UK
Goldman Sachs
Analyst (Software Developer)
SecDB Architecture
- Explored feasibility of Slang running on Truffle/GraalVM: talk at Curry On (2019)
- Supervised intern project (gRPC for Slang) and training (Java and Slang/SecDb)
- Interviewed candidates & improved hiring (updated job spec, encouraged work-representative questions)
-
2018.06 - 2020.08 Cambridge, UK
Arm
Verification Engineer
CPU Group
- Set-up a new workflow for model-checking undefined decoders
- Verified (model-checking) undefined decoders on two released processors for two different architectures
Volunteer
-
2022.10 - 2024.07 Plant-based Cambridge
Divestment Lead
Strategised approach and collated info on university and college portfolios and governance.
- Organised a talk with 30K views online.
-
2022.01 - 2025.07 Cambridge University Bollywood Dance Troupe
Treasurer
Recovered £450 in lost funds and choreographed a salsa/bachata fusion dance.
-
2021.10 - Present Aurelius Foundation
Youth Ambassador
Founded and ran Aurelius Society at the University of Cambridge. Speaking and writing on Stoicism.
- Aurelius Society - taught Stoic philosophy via discussion groups, socials, and talks (here and here)
- Featured in Cambridge Alumni Magazine
- Featured on CamFM
-
2021.10 - 2023.05 -
2017.10 - 2018.07
Education
-
2020.04 - Present Cambridge, UK
-
2014.10 - 2018.07 Cambridge, UK
M. Eng in Computer Science (with Psychology)
Trinity College, University of Cambridge
Computer Science
Languages
| English | |
| Native/primary |
| Hindi | |
| Fluent spoken |
| Gujarati | |
| Fluent spoken |
References
| Professor Neel Krishnaswami | |
| https://www.cl.cam.ac.uk/~nk480/ |
| Professor Peter Sewell | |
| https://www.cl.cam.ac.uk/~pes20/ |
Projects
- 2021.04 - Present
- 2021.04 - Present
- 2022.12 - Present
- 2022.12 - Present
- 2017.04 - 2018.07