Dr. Andreas Bauer

Computer scientist

News

Since July 2019, I work in a datacenter, which is a lot of fun!

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)