Uwe Schöning

Uwe Schöning (* 1955) ist Hochschulprofessor im Fachgebiet Theoretische Informatik an der Universität Ulm. Desweiteren ist er Autor von Fachpublikationen und Lehrbüchern.

Schöning studierte von 1975-80 Informatik. 1981 folgte die Promotion. 1985 schloss er seine Habilitation ab und erhielt den ersten Ruf auf eine Professur. Seit 1989 hat Schöning eine C4-Professur an der Universität Ulm inne.1998 erhielt er vom Land Baden-Württemberg den Landeslehrpreis. 1999 erfand er einen häufig zitierten SAT-Algorithmus.

Bücher

• Uwe Schöning: Complexity and Structure. Lecture Notes in Computer Science 211. Springer-Verlag, Berlin 1985, ISBN 3-540-16079-5
• Uwe Schöning: Logik für Informatiker. Bibl. Institut Wissenschaftsverlag, 1987, ISBN 3-411-03164-6
• Uwe Schöning: Logic for Computer Scientists. Birkhäuser Verlag, Boston, 1989, ISBN 3-7643-3453-3
• Uwe Schöning: Theoretische Informatik - kurz gefasst. Bibl. Institut Wissenschaftsverlag, 1992, ISBN 3-411-15641-4
• K. Ambos-Spies, S. Homer, Uwe Schöning (Hg.): 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
• Uwe Schöning: Perlen der Theoretischen Informatik. Bibl. Institut Wissenschaftsverlag, 1995, ISBN 3-411-17331-9
• Uwe Schöning: Algorithmen - kurz gefasst. Spektrum Akademischer Verlag, 1997
• Uwe Schöning, Randall J. Pruim: Gems of Theoretical Computer Science, Springer-Verlag, 1998, ISBN 3-540-64425-3 (Englische Übersetzung der Perlen der Theoretischen Informatik)
• Uwe Schöning: Algorithmik. Spektrum Akademischer Verlag, 2001, ISBN 3-8274-1092-4
• Uwe Schöning: Ideen der Informatik. Oldenbourg Verlag, 2002, ISBN 3-486-25899-0
• Uwe Schöning, Hans A. Kestler: Mathe-Toolbox - Mathematische Notationen, Grundbegriffe und Beweismethoden. Lehmanns Media, 2010, ISBN 978-3-86541-369-7

Weblinks

• Informationsseite der Universität Ulm