profile icon
Prof

Harald Sondergaard

Honorary
Computing and Information Systems
Programming language semantics
Declarative programming
Abstract interpretation
Compilation
Partial evaluation
Data structures and algorithms for Boolean functions
Lattices
Order
Algorithms
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 from 115 for 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


Honorary

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

International Linkages


National University of Singapore

Singapore

Copenhagen University

Denmark

University of Kent at Canterbury

United Kingdom

Ben-Gurion University of The Negev

Israel