![Philipp G. Haselwarter](https://popl24.sigplan.org/getProfileImage/philippghaselwarter/68671b88-95a6-4a6f-9f1e-6fa5ad05ec47/small.jpg?1717334938000)
Registered user since Sat 14 Jan 2017
Name:Philipp G. Haselwarter
Country:Denmark
Affiliation:Aarhus University
Personal website: https://haselwarter.org/~philipp/
GitHub: https://github.com/haselwarter
Research interests:Logic, Prorgamming Languages, Security
Contributions
POPL 2024-profile
View general profile
View general profile