avatar

Dr. Andreas Bauer


About me

I now work as a team lead 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, 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:

a@pspace.org ∣ pgp-keyfingerprintImpressum
Last updated: Fri 06 Nov 2020 05:39:04 PM CET