Registered user since Tue 18 Apr 2017
Name:Timon Gehr
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://www.sri.inf.ethz.ch/people/timon
GitHub: https://github.com/tgehr
Contributions
POPL 2025-profile
View general profile
View general profile