Dr. Andreas Bauer
Computer scientist
News
Since July 2019, I work in a data center,
which is a lot of fun!
Upcoming deadlines / events
- Runtime Verification (RV'19, 19th International Conference). Send us your best papers!
Research interests
- Software and systems engineering for safety and security critical systems
- Automata theory, temporal logics, and formal languages
- Runtime verification
- Diagnosis
Past research positions
- 2009-2013 NICTA, Software Systems Research Group (Senior researcher)
- 2007-2009 Australian National University, Logic and Computation Group (Post-doc)
- 2003-2007 TU München, Software and Systems Engineering Group (PhD student, researcher)