Registered user since Fri 7 Apr 2023
Name:George Zakhour
Country:Switzerland
Affiliation:University of St. Gallen
Personal website: https://grgz.me
Research interests:Programming Languages, Type Theory, Automated Theorem Proving
Contributions
Using general profile