Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Philipp G. Haselwarter
Assistant Professor
DenmarkResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
About
Philipp G. Haselwarter is an Assistant Professor at Aarhus University in Denmark. His research interests include probabilistic programming, modular reasoning, higher-order separation logic, and cryptographic proofs. Recent articles authored by him explore topics such as error bounds in concurrent probabilistic programs and resourceful reasoning in higher-order systems.
Articles (9)
Year:
2026
Year:
2025
Year:
2025
Year:
2024
Year:
2024
Year:
2024
Year:
2024
Year:
2023
Year:
2023
Collaborators (4)
Lars Birkedal
Aarhus University
Joseph Tassarotti
New York University
Alejandro Aguirre
VIP, Assistant Professor
Aarhus University
Bas Spitters
Associate Professor
Aarhus University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.