conf.researchr.org / Harald Sondergaard
![Harald Sondergaard](https://conf.researchr.org/getProfileImage/haraldsondergaard/bde6e8bd-9cb8-4fdc-8b05-76e2da66171b/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