User:Stephan Schulz: Difference between revisions
Jump to navigation
Jump to search
imported>Stephan Schulz m (Typo) |
imported>Caesar Schinas m (Bot: Inactive Editor, per CZ:Editorial Council Resolution 0012) |
||
| 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. | 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]] | |||
Revision as of 17:09, 29 June 2009
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.