Research projects and activities [of Andreas Bauer]

I am and have been involved in a number of industrial and governmental research projects, some of which are listed below. (Unfortunately, some others I cannot tell you about "or else I would have to kill you".)

Projects at NICTA

Constraint Programming Platform
Collaboration between the different NICTA labs across Australia.
Objectives: The Constraint Programming Platform project is developing G12, a software platform for solving large-scale industrial combinatorial optimisation problems.
Status: Project ongoing (2006-); I joined the project in 2009.
SAIL - Situation Awareness by Inference and Logic
Collaboration between NICTA and the Australian Defence Science and Technology Organisation (DSTO).
Objectives: Logic-based techniques for information fusion in the context of situation awareness problems.
Status: Project completed (2007-2008).

Projects at TU-München

BASE.XT
Collaboration between TU-München and BMW Group.
Objectives: Model-based software development process for automotive systems.
Status: Project completed (2005-2008); my involvement ended in 2007.
HGIG 2005 - HONDA German Initiation Grant
Collaboration between TU-München and HONDA Research & Development Europe.
Objectives: Evaluation of formal specification and verification methods for automotive software.
Status: Project completed (2005).
AutoMoDe - Automotive Model-based Development
Joint project with TU-München, BMW Group, Validas AG, ETAS GmbH, and Robert Bosch GmbH.
Objectives: Model-based design and development of embedded automotive systems.
Project funded by the German Federal Ministry of Education and Research (BMB+F).
Status: Project completed (2003-2006).
Compilation of Functional Programming Languages Using GCC - Tail Calls
Collaboration between TU-München and Microsoft Research, Cambridge, UK.
Objectives: Increasing the efficiency of functional programs via tail call optimisations in the GNU Compiler Collection (GCC).
Project partly funded by the German Academic Exchange Service (DAAD).
Status: Project completed (2002-2003).

Further research activities

Appointments

Adjunct research fellow at the School of Computer Science of The Australian National University (07/2009-08/2010)
Adjunct researcher at National ICT Australia (NICTA), Canberra, Managing Complexity theme, for the e-government initiative (11/2008-07/2009)
Adjunct researcher at National ICT Australia (NICTA), Canberra, Managing Complexity theme, in the SAIL project (11/2007-07/2008)

Selected talks

Invited lectures: Logic and Complexity Theory, Logic Summer School, The Australian National University (5 lectures, 12/2009)
Invited talk: Security protocols, properties, and their monitoring, Victoria University, Melbourne (05/2008)
Invited talk: Runtime reflection in a nutshell, Dagstuhl seminar 07011 on Runtime verification (01/2007)
Invited talk: Modelling with a grain of SALT, Dagstuhl seminar 06351 on Methods for Modelling Software Systems (08/2006)
Invited talk: Runtime Reflection: An approach for the model-based runtime analysis of distributed reactive systems, University of Edinburgh, LFCS Seminar Series (06/2006)
Invited talk: Model-based deployment of automotive software, Center for Hybrid and Embedded Software Systems (CHESS) seminar series, University of California, Berkeley (06/2004)

Events

SESS'10: Software Engineering for Secure Systems, satellite of ICSE'10 (PC-member)
ACVIT'09: Second IEEE Conference on Advances in Computer Vision and Information Technology (PC-member, SE track)
ALICS'08: Applications of Logic in Computer Security, satellite of LPAR'08 (PC-member)