![Timon Gehr](https://pldi24.sigplan.org/getProfileImage/timongehr/8df498ae-f1a4-4786-babd-f78ee3f5afe9/small.jpg?1720987562000)
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
PLDI 2024-profile
View general profile
View general profile