Skip navigation
The Australian National University
photo of Peter

Dr Peter BAUMGARTNER

Position:NICTA Research Group Manager
Email:JavaScript must be enabled to display this email address.
Personal website:http://rsise.anu.edu.au/~baumgart
Phone:6267 6217
Building:NICTA London Circuit
Room:NICTA Bldg
Groups:CS, LC, NICTA
Staff category:Adjunct

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.

Research opportunities with Dr Peter BAUMGARTNER

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.