Dr. Andreas Bauer

Computer Science Researcher & Programmer


Since 2014, I work on robots in the automation industry, 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