conf.researchr.org / Daniel Nezamabadi
Registered user since Sat 18 Jan 2025
Name:Daniel Nezamabadi
Country:Singapore
Affiliation:NTU Singapore
Personal website: https://nezam.net
GitHub: https://github.com/dnezam
Research interests:Compilers, Interactive Theorem Provers, Formal Verification
Contributions