(photo taken at beautiful Lanyon Homestead, Canberra) |
Dr. Andreas Bauer
Senior Research Engineer — NICTA
|
| Phone: | ++61 - (0)2 - 6267 6268 | |
| Fax: | ++61 - (0)2 - 6267 6210 | |
| Email: | baueran@rsise.anu.edu.au (key: 0x1140D147) |
Upcoming events/deadlines
Security in Information Systems (WOSIS'12, satellite of ICEIS'12)
Research interests
- Software and systems engineering for safety and security critical systems
- Automata theory, temporal logics, and formal languages
- Runtime verification
- Diagnosis
Further affiliations
Prior to joining NICTA's Software Systems Research Group, I was a research fellow in the Logic and Computation group of The Australian National University (2007-2009). In 2007, I received 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: Thu Nov 10 10:06:50 EST 2011 |
|