profile icon
Prof

Harald Sondergaard

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

Harald Sondergaard

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

Harald Sondergaard

 

Harald Søndergaard is a Professor in the School of Computing and Information Systems at the University of Melbourne. His primary research areas are software reliability and security, program analysis, software verification, and declarative programming languages.



Harald received an MSc in Computer Science in 1987 and a PhD in 1989, both from the University of Copenhagen. He has been a member of academic staff at the University of Melbourne since 1990, serving as Deputy Head of Department in 2002-2003, as Associate Dean (Learning) in the Engineering Faculty from November 2001 to June 2006, and as Assistant Dean (Teaching Quality) in the Melbourne School of Engineering from July 2007 to June 2009.

Harald has received national awards for teaching excellence (the inaugural CORE Teaching Award 2007 and a citation from the Australian Learning and Teaching Council in the same year) in addition to many local university awards. He has been a member of the University's Teaching and Learning Development Committee for more than a decade and he publishes regularly on engineering and computer science education.

Scholarly Works

Displaying the 108 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

Nteu

National Tertiary Education Union, Australia

Eatcs

European Association for Theoretical Computer Science

Education


Doctor of Philosophy

Copenhagen University

Master of Science

Copenhagen University