Philipp G. Haselwarter
Scholar

Philipp G. Haselwarter

Google Scholar ID: wVKEN1IAAAAJ
Assistant Professor, Aarhus University
Programming LanguagesLogicCryptographyType TheoryFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
180
 
H-index
8
 
i10-index
7
 
Publications
18
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
1 items
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
2025
Cited
0
Resume (English only)
Co-authors
12 total
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Simon Oddershede Gregersen
Simon Oddershede Gregersen
Postdoctoral fellow, New York University
Alejandro Aguirre
Alejandro Aguirre
Postdoc, Aarhus University
Co-author 4
Co-author 4
Andrej Bauer
Andrej Bauer
University of Ljubljana
Cătălin Hrițcu
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Théo Winterhalter
Théo Winterhalter
Inria Saclay
Co-author 8
Co-author 8