avatar

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: Wed 19 May 2021 08:26:34 PM CEST