Uwe Schöning

Uwe Schöning (born December 28, 1955 in Ulm ) is a German computer scientist. He is a professor of theoretical computer science at the University of Ulm and the author of specialist publications and textbooks.

Schöning studied computer science (specializing in theoretical computer science) and electrical engineering (minor) at the University of Stuttgart from 1975 to 1980 . The doctorate followed in 1981. In 1985 he completed his habilitation in Stuttgart and was offered a professorship at the University of Koblenz . Schöning has held a C4 professorship at Ulm University since 1989 . In January 1998 he was awarded the Baden-Württemberg State Teaching Prize. In 1999 he invented a frequently cited, randomized SAT algorithm.

Fonts

• Complexity and Structure. Lecture Notes in Computer Science 211. Springer-Verlag , Berlin 1986, ISBN 3-540-16079-5 , doi : 10.1007 / 3-540-16079-5 .
• Logic for computer scientists. Bibl. Institut Wissenschaftsverlag, 1987, ISBN 3-411-03164-6 .
• Logic for Computer Scientists. Birkhäuser Verlag , Boston, 1989, ISBN 3-7643-3453-3 , doi : 10.1007 / 978-0-8176-4763-6 .
• Theoretical Computer Science - In Brief. Bibl. Institut Wissenschaftsverlag, 1992, ISBN 3-411-15641-4 .
• ed. with Klaus Ambos-Spies, Steven Homer: Complexity Theory: Current Research. Cambridge University Press , 1993.
• Johannes Köbler , Uwe Schöning, Jacobo Torán : The Graph Isomorphism Problem: Its Structural Complexity. Birkhäuser Verlag , Boston 1993, ISBN 3-7643-3680-3 .
• Pearls of Theoretical Computer Science. Bibl. Institut Wissenschaftsverlag, 1995, ISBN 3-411-17331-9 .
• Algorithms - in brief. Spectrum Academic Publishing House , 1997.
• with Randall J. Pruim : Gems of Theoretical Computer Science , Springer-Verlag, 1998, ISBN 3-540-64425-3 (English translation of the pearls of theoretical computer science).
• Algorithmics. Spectrum Academic Publishing House , 2001, ISBN 3-8274-1092-4 .
• Computer science ideas. Oldenbourg Verlag , 2002, ISBN 3-486-25899-0 .
• with Hans A. Kestler : Math Toolbox: Mathematical Notations, Basic Terms and Proof Methods. Lehmanns Media , 2010, ISBN 978-3-86541-369-7 .

Individual evidence

1. ↑ Short biography in: Ingo Wegener (Hrsg.): Highlights from computer science. Springer, Berlin 1996, p. 331 ( online ).
2. ↑ Einsteins-Informatik.de Prof. Dr. Uwe Schöning
3. ↑ State teaching award at universities 1993-2007  ( page no longer available , search in web archives )  Info: The link was automatically marked as defective. Please check the link according to the instructions and then remove this notice. (PDF; 55 kB)  

Web links

• Information page of the University of Ulm