(Photo) Harald Søndergaard

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

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 declarative programming language research at Melbourne.

Teaching in 2012

COMP20004 Discrete Structures
COMP30021 Theoretical Computer Science

See list of awards.
Try out Algorithms in Action, our local suite of algorithm animation tools (including AlgoViz 2010 and 2011 award winners "Quicksort" and "2-3-4 Trees").

Last update: 2 May 2012.