![Amin Timany](https://icfp20.sigplan.org/getProfileImage/amintimany/107bad0f-36c9-4396-9d6c-6f77a6bb5037/small.jpg?1711455336000)
Registered user since Wed 24 Aug 2016
Name:Amin Timany
Country:Denmark
Affiliation:Aarhus University
Personal website: https://tildeweb.au.dk/au571806/
Research interests:Programming Languages, Proof Assistants
Contributions
ICFP 2020-profile
View general profile
View general profile