Find out more about Harald Sondergaard's experience
Harald Sondergaard's highlights
Harald Sondergaard's selected work
Effective software vulnerability detection for web services
Research Grant
Programming to Learn: Logic and Computation from a Programming Perspective
Conference Proceedings
Analysing Computer Arithmetic to Improve Software Reliability
Research Grant
String Abstract Domains and Their Combination
Conference Proceedings
Transformation-Enabled Precondition Inference
Journal article
A Fresh Look at Zones and Octagons
Journal article
Harald Sondergaard's selected work
Projects
Displaying the 5 most recent projects from 5 for Harald Sondergaard.
Project Types
5
Research Grant
Scholarly Works
Displaying the 10 most recent scholarly works from 118 for Harald Sondergaard.
Honours, Awards and Fellowships
Carrick Australian Awards for University Teaching: Citation for Outstanding Contributions to Student Learning
Inaugural CORE Teaching Award (national computer science teaching award)
Edward Brown Award Commendation
Kelvin Medal for Excellence in Engineering Education
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