Dhruv Makwana
PHD Student at University of Cambridge
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDhruv Makwana is a Computer Science PhD candidate at the University of Cambridge with a decade of industry and research experience focused on tooling performance, types, and formal verification. He blends deep technical rigor—model-checking processors and verifying undefined decoders—with practical infrastructure work, having improved robustness across large codebases at Meta and explored language runtimes at Goldman Sachs. Comfortable across Haskell, C, and systems tooling, he produces readable, verifiable code and has supervised interns, trained new hires, and taught diverse audiences from undergraduates to children. Based in London, he pairs academic research with hands-on engineering, and is particularly interested in elegant abstractions that make complex systems auditable and maintainable.
10 years of coding experience
HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES, HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES at Dyce AcademyMaster of Engineering (MEng), Computer Science, Master of Engineering (MEng), Computer Science at University of Cambridge
Hindi, Gujarati, French
Github Skills (147)
code-completion10
owl10
semantics10
ocaml10
cerberus10
apl10
opam9
package-repository9
multicore9
abaqus9
gleam9
idris9
topic-modeling9
gsl9
linear-types9
Programming languages (17)
Github contributions (5)
rems-project/cn-pKVM-buddy-allocator-case-study
Nov 2022 - Dec 2024
Contributions:1 PR, 29 pushes, 6 branches in 2 years 1 month
dc-mak/cerberus
Jul 2024 - Mar 2025
Cerberus C semantics
Contributions:1 PR, 255 pushes, 184 branches in 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.