Dr. Andreas Bauer
» Computer Science Researcher & Programmer
Research interests
- Software and systems engineering for safety and security critical systems
- Automata theory, temporal logics, and formal languages
- Embedded systems, real-time, and concurrency
- Runtime verification
Past research positions
- 2009-2013 NICTA, Software Systems Research Group
- 2007-2009 Australian National University, Logic and Computation Group
- 2003-2007 TU München, Software and Systems Engineering Group