Uwe Schöning

from Wikipedia, the free encyclopedia

Uwe Schöning (born December 28, 1955 in Ulm ) is a German computer scientist. He is a professor of theoretical computer science at the University of Ulm and the author of specialist publications and textbooks.

Schöning studied computer science (specializing in theoretical computer science) and electrical engineering (minor) at the University of Stuttgart from 1975 to 1980 . The doctorate followed in 1981. In 1985 he completed his habilitation in Stuttgart and was offered a professorship at the University of Koblenz . Schöning has held a C4 professorship at Ulm University since 1989 . In January 1998 he was awarded the Baden-Württemberg State Teaching Prize. In 1999 he invented a frequently cited, randomized SAT algorithm.


Individual evidence

  1. Short biography in: Ingo Wegener (Hrsg.): Highlights from computer science. Springer, Berlin 1996, p. 331 ( online ).
  2. Einsteins-Informatik.de Prof. Dr. Uwe Schöning
  3. State teaching award at universities 1993-2007  ( page no longer available , search in web archivesInfo: The link was automatically marked as defective. Please check the link according to the instructions and then remove this notice. (PDF; 55 kB)@1@ 2Template: Toter Link / mwk.baden-wuerttemberg.de  

Web links