Search People:
|
 | Dr Peter BAUMGARTNER | | Position: | NICTA Academic / Research Manager | | Email: |
JavaScript must be enabled to display this email address.
| | Url: | http://rsise.anu.edu.au/~baumgart | | Phone: | +61 2 6267 6217 | | Building: | NICTA London Circuit | | Room: | NICTA Bldg | | Department: | CSL, 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. |
|
|
