User:Stephan Schulz: Difference between revisions
Jump to navigation
Jump to search
imported>Jitse Niesen m (Creating user page with biography of new user.) |
No edit summary |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
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. | {{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. | |||
{{DEFAULTSORT:Schulz, Stephan}} | |||
[[Category:CZ Authors|Schulz, Stephan]] | [[Category:CZ Authors|Schulz, Stephan]] | ||
[[Category:Inactive CZ Editors|Schulz, Stephan]] | |||
[[Category:CZ Editors|Schulz, Stephan]][[Category:Computers Authors|Schulz, Stephan]] [[Category:Computers Editors|Schulz, Stephan]] | [[Category:Computers Authors|Schulz, Stephan]] | ||
[[Category:Inactive Computers Editors|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.