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 2019Author of NumLin: Linear Types for Linear Algebra within the ECOOP Research Papers-track
Author of NumLin: Linear Types for Linear Algebra within the ECOOP Artifacts-track
Show activities from other conferences

Using general profile