Principal Researcher
Canberra Research Laboratory

Biography - Dr habil Peter Baumgartner

Research Interests

Advancement of automated deduction, in particular first-order logic theorem proving. Design of calculi (in particular the Model Evolution calculus), implementations (in particular the Darwin system) and their application for software verification and knowledge representation purposes; exploiting connections into related areas such as logic programming, description logics and nonmonotonic reasoning.

Qualifications

- Diplom in Informatik, Technical University of Munich, Germany, 1988.
- Doctoral Degree in Computer Science, University of Koblenz, Germany,
   1996.
- Habilitation for Computer Science at the University of Koblenz,
   Germany, 2002.

Previous Positions

Dr Baumgartner was a research scientist at the Technical University of Munich (Germany) from 1989 until 1990, a research scientist at the University of Koblenz (Germany), basically from 1990 until 2003. In
1998 he was a honorary research associate at the University of New Brunswick (Canada), and in 2000 and 2001 he held a temporary professorship at the University Giessen (Germany). Between 2003 and end of 2005, when he joined NICTA's Logic and Computation Program, he was a research scientist at the Max-Planck-Institut for Computer Science in Saarbrücken (Germany).

Detailled web page : http://users.rsise.anu.edu.au/~baumgart/