Research Interests

Peter is interested in advancement of automated deduction, in particular first-order logic theorem proving. He is also interested in 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.