User:Stephan Schulz: Difference between revisions
Jump to navigation
Jump to search
imported>Caesar Schinas m (Bot: Inactive Editor, per CZ:Editorial Council Resolution 0012) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{AccountNotLive}} | |||
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. | 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. | ||
{{DEFAULTSORT:Schulz, Stephan}} | {{DEFAULTSORT:Schulz, Stephan}} | ||
Latest revision as of 03:43, 22 November 2023
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.