@Stadtcafé, München, 06/'09 |
Dr. Andreas Bauer
Senior Research Engineer — National ICT Australia (NICTA)
|
| Phone: | ++61 - (0)2 - 6267 6268 | |
| Fax: | ++61 - (0)2 - 6267 6210 | |
| 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 NICTA's Managing Complexity research theme, I was a research fellow in the Logic and Computation group of The Australian National University (2007-2009). 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 (not so) recently joined FEAST, the Forum for European-Australian Science and Technology.
| Andreas Bauer, <baueran@rsise.anu.edu.au> Last modified: Mon Jul 20 10:33:11 EST 2009 |
|