Andreas Bauer

Dr. Andreas Bauer


About me

I now work as a team leader and systems administrator in a datacenter, but spent most of my professional career between two continents doing R&D (in both academia and industry) in the areas of formal methods, runtime verification, AI planning, and robotics.

My current private interests center around economics, homeopathy, and programming, although not necessarily in that order.


Chances are you came for either one of these:

github gitlab stackoverflow linkedin xing blog
a@pspace.org ∣ pgp-keyfingerprintImpressum
Last updated: Fri Mar 4 05:44:42 PM CET 2022