Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Home page for Harald Søndergaard
[go: Go Back, main page]


(Photo) Harald Søndergaard

Associate Professor   Assistant Dean (Teaching Quality)
Dept. of Computer Science and Software Engineering Faculty of Engineering
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 5.26, ICT Building, 111 Barry Street, Carlton 3053

Research interests

Programming languages and their semantics
Logic and functional programming
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.

Recent conference involvement

Conference of the Australasian Association for Engineering Education (AaeE 2007) (Melbourne, Australia, 9-12 December 2008).
Fifteenth International Static Analysis Symposium (Valencia, Spain, 16-18 July, 2008).

Teaching in 2008

433-172 Algorithmic Problem Solving
433-330 Theory of Computation
433-361 Programming Language Implementation

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


Last update: 15 January 2008.