Dhruv Makwana

PhD Student · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Formal verificationFunctional programmingCompilersLinear typesParaconsistent logic

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。