Uwe Schöning

Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker. Er ist Professor für theoretische Informatik an der Universität Ulm und Autor von Fachpublikationen und Lehrbüchern.

Schöning studierte von 1975 bis 1980 Informatik (mit dem Vertiefungsgebiet theoretische Informatik) und Elektrotechnik (Nebenfach) an der Universität Stuttgart. 1981 folgte die Promotion. 1985 schloss er seine Habilitation in Stuttgart ab und erhielt einen Ruf auf eine Professur an der Universität Koblenz.[1] Seit 1989 hat Schöning eine C4-Professur an der Universität Ulm inne.[2] Im Januar 1998 erhielt er den Landeslehrpreis Baden-Württemberg verliehen.[3] 1999 erfand er einen häufig zitierten, randomisierten SAT-Algorithmus.

Schriften

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 (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)

Weblinks