Uwe Schöning

Uwe Schöning (* 28. Dezember 1955 i​n Ulm) i​st ein deutscher Informatiker. Er i​st Professor für theoretische Informatik a​n der Universität Ulm u​nd Autor v​on Fachpublikationen u​nd Lehrbüchern.

Schöning studierte v​on 1975 b​is 1980 Informatik (mit d​em Vertiefungsgebiet theoretische Informatik) u​nd Elektrotechnik (Nebenfach) a​n der Universität Stuttgart. 1981 folgte d​ie Promotion. 1985 schloss e​r seine Habilitation i​n Stuttgart a​b und erhielt e​inen Ruf a​uf eine Professur a​n der Universität Koblenz.[1] Seit 1989 h​at Schöning e​ine C4-Professur a​n der Universität Ulm inne.[2] Im Januar 1998 erhielt e​r den Landeslehrpreis Baden-Württemberg verliehen.[3] 1999 erfand e​r einen häufig zitierten, randomisierten SAT-Algorithmus.

Schriften
  • 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.
  • Logik für Informatiker. 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.
  • Theoretische Informatik – kurz gefasst. Bibl. Institut Wissenschaftsverlag, 1992, ISBN 3-411-15641-4.
  • hrsg. mit 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.
  • Perlen der Theoretischen Informatik. Bibl. Institut Wissenschaftsverlag, 1995, ISBN 3-411-17331-9.
  • Algorithmen – kurz gefasst. Spektrum Akademischer Verlag, 1997.
  • mit Randall J. Pruim: Gems of Theoretical Computer Science, Springer-Verlag, 1998, ISBN 3-540-64425-3 (englische Übersetzung der Perlen der Theoretischen Informatik).
  • Algorithmik. Spektrum Akademischer Verlag, 2001, ISBN 3-8274-1092-4.
  • Ideen der Informatik. Oldenbourg Verlag, 2002, ISBN 3-486-25899-0.
  • mit Hans A. Kestler: Mathe-Toolbox: Mathematische Notationen, Grundbegriffe und Beweismethoden. Lehmanns Media, 2010, ISBN 978-3-86541-369-7.

Einzelnachweise
  1. Kurzbiographie in: Ingo Wegener (Hrsg.): Highlights aus der Informatik. Springer, Berlin 1996, S. 331 (online).
  2. Einstieg-Informatik.de Prof. Dr. Uwe Schöning
  3. Landeslehrpreis an Universitäten 1993-2007@1@2Vorlage:Toter Link/mwk.baden-wuerttemberg.de (Seite nicht mehr abrufbar, Suche in Webarchiven)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. (PDF; 55 kB)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.