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