Peter Baumgartner in 2003

Peter Baumgartner

Principal Research Scientist, Data61
ANU CECS

Details and Contact

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

Student Project Offers

I am looking for honours, masters or PhD students that are interested in both theory and practice of automated reasoning. The theory typically concerns the design of a logic, its properties, and a calculus for it; the practice concerns the implementation in a theorem prover and its application to some interesting problem(s).

See this page for a concrete topic area on Automated Reasoning for Situational Awareness.