Dr. Andreas Bauer
» Senior Researcher - NICTA, Software Systems Research Group
» Adjunct Research Fellow - ANU, Logic & Computation Group
Upcoming deadlines / events
- Runtime Verification (RV'13, 4th International Conference)
- Security in Information Systems (WOSIS'13, 10th International Workshop, satellite of ICEIS'13)
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).