Research interests:

First-order logic theorem proving and its applications to software verification, knowledge representation and dynamic systems analysis.

Bio:

Principal researcher with NICTA since 2005 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.

Research opportunities with Dr Peter BAUMGARTNER

• Instantiation heuristics for the Beagle theorem prover
• Making Beagle faster
• Combining Theorem Proving and Constraint Satisfaction
• Beagle: Constraint Handling Rules
• Coupling Beagle with Darwin
• Proving Safety Properties
• Reasoning About Voting Schemes
• Fitzroy: BPMN Front-end