User:Stephan Schulz

From Citizendium
Revision as of 03:43, 22 November 2023 by Inactive User Bot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


The account of this former contributor was not re-activated after the server upgrade of March 2022.


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.

Retrieved from "https://citizendium.org/wiki/index.php?title=User:Stephan_Schulz&oldid=909878"