Research projects and activities
Industrial research projects
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
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)