Registered user since Sat 18 Jan 2025
Name:Daniel Nezamabadi
Country:Singapore
Affiliation:NTU Singapore
GitHub: https://github.com/dnezam
Research interests:Programming Languages, Interactive Theorem Provers, Formal Verification
Contributions
POPL 2026-profile
View general profile
View general profile