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
Software reliability and security
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.
Teaching in 2020
COMP90045 Programming Language Implementation
COMP30026 Models of Computation
See list of awards.
Algorithms in Action,
our local suite of algorithm animation tools.
Last update: 3 February 2020.