Registered user since Sat 18 Jan 2025
Name:Daniel Nezamabadi
Country:Germany
Affiliation:ETH Zurich
GitHub: https://github.com/dnezam
Research interests:Programming Languages, Interactive Theorem Provers, Formal Verification
Contributions
Using general profile