Peter Baumgartner in 2003

Peter Baumgartner

Principal Research Scientist, Data61
ANU CECS

Details and Contact

[ Home | Publications | Activities | Teaching | Student project offers | Systems | Talks ]

Research Interest

First-order logic theorem proving; applications for software verification, knowledge representation, and dynamic systems analysis; exploiting connections into related areas such as logic programming, description logics and nonmonotonic reasoning.

See my NICTA home page for a brief CV.

Publications

Activities

Teaching

Student Projects

Systems

Slides of Talks

Information for EMCL Students

Private

Locations of visitors to this pageVisitor locations of this page