I am a German computer science researcher specializing in automated deduction and related topics. My formal education resulted in a M.Sc. equivalent degree in computer science with a minor in physics ("Diplom-Informatiker") from the Universität Kaiserslautern in Germany and a doctorate in computer science ("Dr. rer. nat.") from the Technische Universität München. I have a wide interest in history and the natural sciences, and are reasonably well read in these topics. I have travelled widely and held research or teaching positions in a number of European countries and the US.