![Tobias Gürtler](https://popl24.sigplan.org/getProfileImage/tobiasgurtler/e13095d0-ccba-448d-9218-cae62f23913e/small.jpg?1712047181000)
Registered user since Mon 22 Jan 2024
Name:Tobias Gürtler
Country:Germany
Affiliation:Saarland University, Saarland Informatics Campus
Personal website: https://quave.cs.uni-saarland.de/members/tobias-gurtler/
Research interests:Probabilistic Programming, Verification of Probabilistic Programs
Contributions
POPL 2024-profile
View general profile
View general profile