Dr Peter Baumgartner

Honorary Assoc Prof
Research Area:
Ph.D., Habilitation
+61 2 6267 6217

Principal researcher with NICTA/Data61 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.

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

analysis; Probabilistic planning and model checking, in particular Markov Decision Processes.

Joshua Bax

Mr Joshua Bax »


Xufei Sun

Xufei Sun »

Honours student with BAC

Updated:  8 September 2015/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing