Harald Søndergaard
Professorial Fellow
School of Computing and Information Systems
The University of Melbourne
Email: NAME@ADDRESS
where NAME = harald and ADDRESS = unimelb.edu.au
Research areas
Software reliability and security
Program analysis
Software verification
Program transformation and compilation
Programming languages and their semantics
Logic and functional programming
Logic in computer science
Computer science education
Publications
"Find an Expert" profile
Teaching awards
Last update: 27 July 2021