Associate Professor Harald Sondergaard

  • Room: Level: 08 Room: 8.16
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Boolean functions (Data structures and algorithms for Boolean functions)
  • Fixed point theory (Lattices; Order; Algorithms)
  • Program transformation (Compilation; Partial evaluation)
  • Programming languages (Programming language semantics; Declarative programming)
  • Software verification
  • Static analysis of software (Abstract interpretation)

Personal webpage

http://people.eng.unimelb.edu.au/harald/

Biography

Harald Søndergaard is an Associate Professor in the Department 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.  He currently serves as Graduate Research Coordinator in Computing and Information Systems, with administrative responsibility for more than 180 PhD students.

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.

Recent publications

  1. Wang W, Sondergaard H, Stuckey P. A Bit-Vector Solver with Word-Level Propagation. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  2. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. A complete refinement procedure for regular separability of context-free languages. THEORETICAL COMPUTER SCIENCE. Elsevier Science. 2016, Vol. 625.
  3. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. An Abstract Domain of Uninterpreted Functions. 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer Verlag. 2016, Vol. 9583. Editors: Jobstmann B, Leino KRM.
  4. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. Exploiting Sparsity in Difference-Bound Matrices. 23rd International Symposium on Static Analysis (SAS). Springer Verlag. 2016, Vol. 9837. Editors: Rival X.
  5. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. A Tool for Intersecting Context-Free Grammars and Its Applications. 7th NASA Formal Methods Symposium (NFM). Springer Verlag. 2015, Vol. 9058. Editors: Havelund K, Holzmann G, Joshi R.
  6. Cornish JR, Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Analyzing Array Manipulating Programs by Program Transformation. 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2015, Vol. 8981. Editors: Proietti M, Seki H.
  7. Lin Y, Miller T, Sondergaard H. Compositional Symbolic Execution using Fine-Grained Summaries. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015). IEEE. 2015.
  8. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Horn clauses as an intermediate representation for program analysis and transformation. 31st International Conference on Logic Programming (ICLP) Co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP). Cambridge University Press. 2015, Vol. 15.
  9. Gange G, Navas Laserna J, Schachte P, Sondergaard H, Stuckey P. Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. Association for Computing Machinery Inc.. 2015, Vol. 37, Issue 1.
  10. Davies T, Pearce A, Stuckey P, Sondergaard H. Optimisation and relaxation for multiagent planning in the situation calculus. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. 2015, Vol. 2.
  11. Alatawi E, Miller T, Sondergaard H. Using Metamorphic Testing to Improve Dynamic Symbolic Execution. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015). IEEE. 2015.
  12. Gange G, Horsfall B, Naish L, Sondergaard H. Four-Valued Reasoning and Cyclic Circuits. IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems. Institute of Electrical and Electronics Engineers. 2014, Vol. 33, Issue 7.
  13. Davies T, Pearce A, Stuckey P, Sondergaard H. Fragment-Based Planning Using Column Generation. International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. 2014.
  14. Gange G, Sondergaard H, Stuckey P. Synthesizing Optimal Switching Lattices. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. Association for Computing Machinery Inc.. 2014, Vol. 20, Issue 1.
  15. Naish L, Sondergaard H. Truth versus Information in Logic Programming. Theory and Practice of Logic Programming. Cambridge University Press. 2014, Vol. 14, Issue 6.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile