Uwe Schöning

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

Schöning studied from 1975 to 1980 computer science (theoretical computer science to the field of specialization ) and Electrical Engineering ( minor) at the University of Stuttgart. In 1981 she received her doctorate. In 1985 he completed his habilitation in Stuttgart and was appointed to a professorship at the University of Koblenz. Since 1989 Schöning holds a C4 professorship at the University of Ulm. In January 1999 he received the teaching award, which was awarded to him in 1998 by the state of Baden -Württemberg. In 1999 he invented an often -cited SAT algorithm.

Writings

  • Complexity and Structure. Lecture Notes in Computer Science 211 Springer -Verlag, Berlin, 1986, ISBN 3-540-16079-5, doi: 10.1007/3-540-16079-5.
  • Logic for Computer Scientists. Bibl Institute Science Publishing, 1987, ISBN 3-411-03164-6.
  • Logic for Computer Scientists. Birkhauser Verlag, Boston, 1989, ISBN 3-7643-3453-3, doi: 10.1007/978-0-8176-4763-6.
  • Theoretical computer science - in brief. Bibl Institute Science Publishing, 1992, ISBN 3-411-15641-4.
  • Ed. Klaus Ambos - Spies, Steven Homer: Complexity Theory: Current Research. Cambridge University Press, 1993.
  • John Kobler, Uwe Schöning, Jacobo Torán: The graph isomorphism problem: Its Structural Complexity. Birkhäuser, Boston 1993, ISBN 3-7643-3680-3.
  • Pearls of theoretical computer science. Bibl Institute Science Publishing, 1995, ISBN 3-411-17331-9.
  • Algorithms - in brief. Oxford University Press, 1997.
  • Randall J. Pruim: Gems of Theoretical Computer Science, Springer- Verlag, 1998, ISBN 3-540-64425-3 (English translation of the pearls of theoretical computer science ).
  • Algorithms. Oxford University Press, 2001, ISBN 3-8274-1092-4.
  • Ideas of computer science. Oldenbourg Verlag, 2002, ISBN 3-486-25899-0.
  • Hans A. Kestler: Math Toolbox: Mathematical notations, basic concepts and methods of proof. Lehmann Media, 2010, ISBN 978-3-86541-369-7.
Digital Object Identifier Ingo Wegener Integrated Authority File
796444
de