
Registered user since Wed 24 Aug 2016
Name: Amin Timany
Country: Denmark
Affiliation: Aarhus University
Personal website: https://cs.au.dk/~timany
GitHub: https://github.com/amintimany
Research interests: Programming Languages, Proof Assistants
Contributions
Using general profile