Principal Research Scientist with Data61 since 2016; Principal researcher with NICTA from 2005-2016 with positions as Program Leader, Research Group Manager, and (currently) Research Leader; Research scientist at the Max-Planck-Institut for Computer Science in Saarbrücken (Germany) from 2003 to 2005; Research scientist at the University of Koblenz (Germany), from 1990 to 2003; Honorary research associate at the University of New Brunswick (Canada) in 1998; Acting professorship at the University Giessen (Germany) in 2000 and 2001; Research scientist at the Technical University of Munich (Germany) from 1989 to 1990.
I have worked on automated reasoning for first-order logic. On the more fundamental side of things I developed calculi and implementations based on hyper tableau, first-order DPLL (Model Evolution) and Resolution. Many of them have been extended for equality reasoning and reasoning modulo built-in theories, some for non-monotonic reasoning and some for temporal-logic model checking. Applications included database schema reasoning, consistency-based diagnosis, software verification, business process analysis, and situational awareness.
I am also interested in decison making under uncertaintly from a logical perspective. My focus is on automated reasoning systems based on Markov Decision Processes in combination with temporal logics, for planning and runtime monitoring purposes. This is driven by applications for situational awareness in industrial operations, such as factory floors and supply chains.