ECOOP 2019 (series) / Dhruv Makwana

Registered user since Mon 6 May 2019
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
Personal website: https://dhruvmakwana.com
Research interests: Programming Languages, Type systems, Formal Verification, Compilers
Contributions
ECOOP 2019 | NumLin: Linear Types for Linear Algebra NumLin: Linear Types for Linear Algebra NumLin: Linear Types for Linear Algebra | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP 2019-profile
View general profile
View general profile