Uwe Schöning

Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker. Er war zuletzt Professor für theoretische Informatik an der Universität Ulm und ist 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. 1989 bis zu seinem Ruhestand 2021 hatte Schöning eine C4-Professur an der Universität Ulm inne. Schöning wurde am 15. Januar 1999 der Landeslehrpreis Baden-Württemberg des Jahres 1998 verliehen. 1999 erfand er einen häufig zitierten, randomisierten SAT-Algorithmus. Veröffentlicht in Wikipedia