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
Programming languages and their semantics
Logic and functional programming
Software verification
Static analysis of programs
Program transformation and compilation
Logic in computer science
Computer science education
See a list of publications.
Read about
optimization and programming language research at Melbourne.
Teaching in 2012
COMP20004 Discrete Structures
COMP30021 Theoretical Computer Science
Teaching in 2013
COMP20004 Discrete Structures
COMP90038 Algorithms and Data Structures
COMP90053 Program Analysis and Transformation
See list of awards.
Try out
Algorithms in Action,
our local suite of algorithm animation tools.
Last update: 21 January 2013.