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:

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