Dr. Andreas Bauer Research Fellow Computer Sciences Laboratory Research School of Information Sciences and Engineering College of Engineering and Computer Science The Australian National University ACT 0200, Australia Room:   B245 Phone:   ++61 - (0)2 - 612 58611 Email:   baueran@rsise.anu.edu.au Public key:   0x1140D147

Research interests

In general, software and systems engineering. Currently, I am mostly interested in the specification and verification (Temporal Logic, Model Checking, Runtime Verification, SAT and Constraint Solving) as well as the diagnosis of complex systems. I am also interested in issues of security and trust, and how to amalgamate them with the aforementioned areas to obtain more reliable, trustworthy, and ultimately higher quality computer systems. Last but definitely not least, applications. I have always closely collaborated with industry to develop, apply, and refine my research in and for the real world™. For further information, refer to the links below.

Further affiliations

Prior to joining the ANU's Computer Sciences Laboratory, I worked as a full-time researcher for National ICT Australia (NICTA) in the Managing Complexity theme (2007). I obtained my PhD from the Technische Universität München, Germany, where I worked as a research assistant in the Software and Systems Engineering group (2003-2007). Because of this background, I have recently joined FEAST, the Forum for European-Australian Science and Technology.

Andreas Bauer, <baueran@rsise.anu.edu.au> Last modified: Thu Nov 13 10:39:48 2008