Harald Søndergaard
Contact
NAME@ADDRESS
where NAME = harald and ADDRESS = unimelb.edu.au
Phone: +61 3 8344 1342
Fax: +61 3 9348 1184
Postal: See above
Face to face: Room 8.16, Doug McDonell Building
Research interests
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
See a list of publications.
See the University of Melbourne's "Find an Expert" profile.
Conference program committee work
ICFEM 2018: 20th International Conference on Formal Engineering Methods
SAS 2018: 25th Static Analysis Symposium
LOPSTR 2018: 28th International Symposium on Logic-Based Program Synthesis and Transformation
FLOPS 2018: 14th International Symposium on Functional and Logic Programming
PEPM 2018: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Teaching in 2018
COMP90045 Programming Language Implementation
COMP30026 Models of Computation
Teaching in 2017
COMP30026 Models of Computation
COMP90038 Algorithms and Complexity
See list of awards.
Try out
Algorithms in Action,
our local suite of algorithm animation tools.
Last update: 4 April 2018.