Harald Sondergaard

Registered user since Wed 29 Dec 2021

Name:Harald Sondergaard
Affiliation:The University of Melbourne
Research interests:Software security and reliability, Program analysis, Program transformation and compilation, Logic and functional programming, Logic in computer science, Computer science education


FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
SAS 2021 Author of Disjunctive Interval Analysis within the SAS-track
APLAS 2019 Committee Member in Steering Committee
Author of Dissecting Widening: Separating Termination from Information within the Research Papers-track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
PEPM 2018 Committee Member in Programme Committee within the PEPM 2018-track
VMCAI Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track