Dr. Andreas Bauer

» Wissenschaftlicher Mitarbeiter - TU München, Software and Systems Engineering

» Adjunct Senior Researcher - NICTA, Software Systems Research Group

» Adjunct Research Fellow - ANU, Logic & Computation Group

Andreas Bauer

Research interests
Where I've been (and still am, of sorts)

The short version goes something like this: