SPLASH 2024 (series) / Philipp G. Haselwarter
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, Prorgamming Languages, Security
Contributions
Using general profile