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.[1]1998 erhielt er vom Land Baden-Württemberg den Landeslehrpreis[2]. 1999 erfand er einen häufig zitierten [[Erfüllbarkeitsproblem der Aussagenlogik |SAT]]-Algorithmus[3].
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
Einzelnachweise
- ↑ Einstieg-Informatik.de Prof. Dr. Uwe Schöning
- ↑ Landeslehrpreis an Universitäten 1993-2007
- ↑ Uwe Schöning beim Oldenbourg Verlag