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
POPL 2025-profile
View general profile
View general profile