Uwe Schöning

Uwe Schöning leitet die Abteilung Theoretische Informatik an der Universität Ulm. 1999 erhielt er den Landeslehrpreis und wurde im selben Jahr durch die Erfindung des vielzitierten SAT-Algorithmus bekannt.