Teaching Responsibilities [of Andreas Bauer]

COMP3630/6363: Theory of Computation (2012, ANU)
COMP4620/8620: Advanced Topics in Artificial Intelligence (2011, ANU)
COMP3630/6363: Theory of Computation (2011, ANU)
COMP3630/6363: Theory of Computation (2010, ANU)
Logic Summer School: Logic and Complexity Theory (5 lectures, 2009, ANU)
COMP3630/6363: Theory of Computation (2009, ANU)
COMP1130: Data Structures and Algorithms [slides] (2008, ANU)
Automotive Software Engineering (WS 2004/05, TUM)

Teaching assistant for Software Engineering für Software im Automobil (SS 2006, TUM)
Teaching assistant for Software Engineering für Software im Automobil (SS 2004, TUM)
Teaching assistant for Einführung in die Informatik IV (SS 2003, TUM)
Teaching assistant for Fundamental Algorithms (WS 2001/02, TUM)
Teaching assistant and introductory seminar in Rechnerbetriebspraktikum (WS 2000/01, TUM)

PhD Research. For details on the administrative side, see this link on NICTA's website.
Honours Programs
Summer Scholar Projects

Jan-Christoph Küster. Runtime verification for security critical embedded systems. PhD, ANU.
Franc Ivankovic. Using and evaluating SMT-techniques as a means of solving hard engineering problems. Honour's project.
(in collaboration with the ANU's Solar Thermal Group)

Jingze (Emily) Du. Formal modelling of business rules and processes. ANU/NICTA summer scholar, 2012.
Gil Vegliach. Low-level Android instrumentation for runtime verification. Semester project, EMCL student, 2011.
Zhongran Deng. Design and implementation of an event logging framework for Android. Software Engineering Project, ANU, 2011.
Franc Ivankovic. Solving an Engineer's Problems Using a Computer Scientist's Methods. ANU/NICTA summer scholar, 2010.
(in collaboration with the ANU's Solar Thermal Group)
Marwan Farhat. Practical access control in Java. ANU/NICTA summer scholar, 2010.
Minh Van Nguyen. A runtime verification framework for access control, and data protection, ANU summer scholar, 2007.
(in collaboration with National ICT Australia (NICTA))
Christoph Domann. Analysis of methods for preventive automotive diagnosis, Master's thesis, TU-München, 2007.
(in collaboration with BMW Group)
Jens Kohl. Data mining of automotive service data and its use as a sensor in the problem management process. Master's thesis, TU-München, 2006.
(in collaboration with BMW Group)
Jonathan Streit. Development of a programming-language-like temporal specification language. Master's thesis, TU-München, 2006.
Michael Tautschnig. Development of a solver for mixed Boolean/linear constraint problems. Master's thesis, TU-München, 2006.
Stephan Tobias Dietl. Diagnosis of automotive software components. Master's thesis, TU-München, 2005.
(in collaboration with BMW CarIT GmbH)
Stephan Fabrizek. Embedding AutoFocus models and semantics into the Ptolemy framework. Master's thesis, TU-München, 2005.
(in collaboration with University of California, Berkeley)
Tilmann Ochs. Optimisation strategies for embedded Java virtual machines. Master's thesis, TU-München, 2004
(in collaboration with BMW CarIT GmbH)
Nikolai Kordulla. Implementation of a clock calculus in AutoFlex. Bachelor's thesis, TU-München, 2004.

Teaching

Courses

Teaching assistance

Student projects and supervision

Prospective students

Current students

Past students