Dhruv Makwana

PhD Student · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Formal verificationFunctional programmingCompilersLinear typesParaconsistent logic

About

PhD student working on CN, a separation logic refinement type system for C. Previously worked on a Translation-Validation tool of ELF binaries produced from C sources.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.