Skip navigation
The Australian National University
photo of Andreas

Dr Andreas BAUER

Position:NICTA Senior Researcher
Email:JavaScript must be enabled to display this email address.
Personal website:http://baueran.multics.org/
Phone:6267 6268
Building:NICTA London Circuit
Groups:CS, LC, NICTA
Staff category:Adjunct

Research interests:

  • Software and systems engineering for safety and security critical systems
  • Automata theory, temporal logics, and formal languages
  • Runtime verification
  • Diagnosis

Bio:

since 2012: Senior Researcher, NICTA
since 2009: Adjunct Fellow, Research School of Computer Science, ANU
2009-2012: Senior Research Engineer, NICTA
2007-2009: Research Fellow, RSISE, CSL, ANU
2007: PhD, TU Munich, Germany
2003: Master's in Computer Science, TU Munich, Germany

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.