![René Thiemann](https://popl23.sigplan.org/getProfileImage/renethiemann/165378c7-3745-4c92-9395-7edd602de64f/small.jpg?1712656237000)
Registered user since Mon 4 Dec 2017
Name:René Thiemann
Country:Austria
Affiliation:University of Innsbruck
Personal website: http://cl-informatik.uibk.ac.at/users/thiemann/
Contributions
POPL 2023-profile
View general profile
View general profile
Registered user since Mon 4 Dec 2017
Contributions