profile icon
Prof

Harald Sondergaard

Professor
Computing and Information Systems
Data structures and algorithms for Boolean functions
Lattices; Order; Algorithms
Abstract interpretation
Compilation; Partial evaluation
Programming language semantics; Declarative programming
technology
science & technology
computer science
computer science, software engineering
Harald Sondergaard's Profile Picture
Prof

Harald Sondergaard

 
Division
Engineering and IT
 
Primary Interest
Software verification
Harald Sondergaard's Profile Picture
Prof

Harald Sondergaard

 

Scholarly Works

Displaying the 10 most recent scholarly works by Harald Sondergaard.

Honours, Awards and Fellowships

2007

Carrick Australian Awards for University Teaching: Citation for Outstanding Contributions to Student Learning

The Carrick Institute for Learning and Teaching in Higher Education

2007

Inaugural CORE Teaching Award (national computer science teaching award)

Computing Research and Education Association of Australasia

2004

Edward Brown Award Commendation

The University of Melbourne

2003

Kelvin Medal for Excellence in Engineering Education

Faculty of Engineering, University of Melbourne

4

Awards

Credentials

Positions


Professor

Computing and Information Systems

Asee

American Society for Engineering Education

Eapls

European Association for Programming Languages and Systems

Professional

Association for Computing Machinery

Education


Doctor of Philosophy

Copenhagen University

Master of Science

Copenhagen University