User:Stephan Schulz: Difference between revisions
Jump to navigation
Jump to search
imported>Jitse Niesen m (Creating user page with biography of new user.) |
imported>Stephan Schulz m (Typo) |
||
| 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. | ||
[[Category:CZ Authors|Schulz, Stephan]] | [[Category:CZ Authors|Schulz, Stephan]] | ||
Revision as of 07:26, 17 February 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.