SPLASH 2024 (series) / Philipp G. Haselwarter
![Philipp G. Haselwarter](https://2024.splashcon.org/getProfileImage/philippghaselwarter/b5aceec8-9904-4365-8aa7-8fabc107a3a8/small.jpg?1731244341000)
Registered user since Sat 14 Jan 2017
Name:Philipp G. Haselwarter
Country:Denmark
Affiliation:Aarhus University
Personal website: https://haselwarter.org/~philipp/
Research interests:Logic, Programming Languages, Security
Contributions
SPLASH 2024-profile
View general profile
View general profile