![Harald Sondergaard](https://popl24.sigplan.org/getProfileImage/haraldsondergaard/342842b9-1dfc-44f8-b4ec-2257bf32c3ea/small.jpg?1711544042000)
Registered user since Wed 29 Dec 2021
Name:Harald Sondergaard
Country:Australia
Affiliation:The University of Melbourne
Personal website: https://people.eng.unimelb.edu.au/harald/
Research interests:Software security and reliability, Program analysis, Program transformation and compilation, Logic and functional programming, Logic in computer science, Computer science education
Contributions
POPL 2024-profile
View general profile
View general profile