(Photo) Harald Søndergaard

Associate Professor
Department of Computing and Information Systems
The University of Melbourne
Vic. 3010, Australia


   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.
See the University of Melburne's "Find an Expert" profile.
Read about optimization and programming language research at Melbourne.

Teaching in 2013

COMP20004 Discrete Structures
COMP90038 Algorithms and Complexity
COMP90053 Program Analysis and Transformation

Teaching in 2014

SWEN40004 Modelling Complex Software Systems
COMP90038 Algorithms and Complexity
COMP90045 Programming Language Implementation

See list of awards.
Try out Algorithms in Action, our local suite of algorithm animation tools.

Last update: 9 September 2014.