Dr. Andreas Bauer

Computer scientist

News

Since July 2019, I work in a data center, which is a lot of fun!New!

Upcoming deadlines / events

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