Registered user since Wed 10 Sep 2025
Name:Jakob Piribauer
Country:Germany
Affiliation:TU Dresden
Personal website: https://jakob-piribauer.de/
Research interests:Formal Verification, Probabilistic Systems
Contributions
POPL 2026-profile
View general profile
View general profile