Uwe Schöning

aus Wikipedia, der freien Enzyklopädie
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 21. Oktober 2011 um 09:36 Uhr durch Cyper (Diskussion | Beiträge) (angelegt). Sie kann sich erheblich von der aktuellen Version unterscheiden.
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

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

Einzelnachweise

  1. Einstieg-Informatik.de Prof. Dr. Uwe Schöning
  2. Landeslehrpreis an Universitäten 1993-2007
  3. Uwe Schöning beim Oldenbourg Verlag