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