Scholar
Philipp G. Haselwarter
Google Scholar ID: wVKEN1IAAAAJ
Assistant Professor, Aarhus University
Programming Languages
Logic
Cryptography
Type Theory
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
194
H-index
8
i10-index
7
Publications
18
Co-authors
12
list available
Publications
3 items
Elton: Urn Resources for Reasoning about Adversarial Probabilistic Programs
2026
Cited
0
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
2026
Cited
0
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
2025
Cited
0
Co-authors
9 total
Lars Birkedal
Dept. of Computer Science, Aarhus University
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Alejandro Aguirre
Postdoc, Aarhus University
Andrej Bauer
University of Ljubljana
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Théo Winterhalter
Inria Saclay
Kwing Hei Li
Unknown affiliation
Anja Petković Komel
PostDoc, Vienna university of technology
