Dr Peter Baumgartner

NICTA Research Group Manager
College of Engineering & Computer Science
T: 6267 6217


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.

Available student projects

Topics in Automated Reasoning with Instance-Based Methods - Keywords: First-Order Logic, Automated Reasoning, Instance-Based Methods

Logical Analysis of Business Rules - Keywords: Business Rules, Automated Reasoning

Extending the first-order theorem prover SPASS with a new split rule - Keywords: Automated Theorem Proving, Resolution

Partially automating an interactively found proof - Keywords: Automated Theorem Proving


Projects and Grants

Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.

Return to top

Updated:  25 February 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers