conf.researchr.org / Daniel Nezamabadi
Registered user since Sat 18 Jan 2025
Name:Daniel Nezamabadi
Country:Switzerland
Affiliation:Chalmers University of Technology and University of Gothenburg
GitHub: https://github.com/dnezam
Research interests:Programming Languages, Interactive Theorem Provers, Formal Verification
Contributions