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
- Provably Correct Business Rules and Processes
Collaboration between NICTA
and NSW Land & Property Information.
Objectives: To develop a formally based methodology for the modelling and
automatic analysis of business rules and processes.
Status: Project ongoing (2011-).
- AI for the Smart Grid
Objectives: To develop tools and techniques for the automatic management of next-generation electricity networks.
Status: Project completed (2010).
- 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 completed (2006-2010); I joined the project in 2009 (and still maintain parts of it).
- 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 talk: An introduction to Android security, Canberra
branch of the Australian
Information Security Association (AISA) (08/2011)
- Invited tutorial: The Theory and Practice of SALT,
3rd NASA Formal Methods Symposium (NFM'11),
Pasadena, CA (04/2011)
- Invited talk: Monitorability of ω-regular languages, Dagstuhl seminar 10451
on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems (11/2010)
- Invited talk: Runtime verification of LTL and TLTL,
TU Dortmund/Fraunhofer Institute for Software & Systems
Engineering (ISST) (04/2010)
- Invited talk: Runtime verification of LTL and TLTL,
Swinburne University of Technology, Melbourne (01/2010)
- 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
- WOSIS'12:
Security in Information Systems, satellite of ICEIS'12 (PC member)
- DX'11:
Principles of Diagnosis (PC member)
- FMSPLE'11:
Formal Methods and Analysis in Software Product Line Engineering, satellite of SPLC'11 (PC member)
- VVPS'11:
Verification and Validation for Planning and Scheduling Systems, satellite of ICAPS'11 (PC member)
- WOSIS'11:
Security in Information Systems, satellite of ICEIS'11 (PC member)
- IJCAI'11:
Artificial Intelligence, Twenty-second International Joint Conference on (PC member)
- SESS'11:
Software Engineering for Secure Systems,
satellite of ICSE'11 (PC member)
- SEES'10:
Software Engineering for Embedded Systems,
satellite of APSEC'10 (PC member)
- FACS'10:
Formal Aspects of Component Software (PC member)
- DX'10:
Principles of Diagnosis (PC member)
- SESS'10:
Software Engineering for Secure Systems,
satellite of ICSE'10 (PC member)
- ACVIT'09:
Advances in Computer Vision and Information Technology, Second IEEE Conference on (PC member SE track)
- ALICS'08: Applications of Logic in Computer
Security, satellite of LPAR'08 (PC member)
