Name:Dhruv Makwana

Bio:

I currently 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:Unaffiliated

Research interests:Programming Languages, Type systems, Formal Verification, Compilers