Dr. Andreas Bauer
Computer Science Researcher & Programmer
News
Since 2014, I work on robots in the
automation industry, 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)