„Uwe Schöning“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
Siehe https://mwk.baden-wuerttemberg.de/fileadmin/redaktion/m-mwk/intern/dateien/pdf/Hochschulen/_Universit%C3%A4ten_ab1993.pdf |
InternetArchiveBot hat 0 Archivlink(s) ergänzt und 1 Link(s) als defekt/tot markiert. #IABot (v2.0beta14) |
||
| Zeile 1: | Zeile 1: | ||
'''Uwe Schöning''' (* [[28. Dezember]] [[1955]] in [[Ulm]]) ist ein deutscher Informatiker. Er ist Professor für [[theoretische Informatik]] an der [[Universität Ulm]] und Autor von Fachpublikationen und Lehrbüchern. |
'''Uwe Schöning''' (* [[28. Dezember]] [[1955]] in [[Ulm]]) ist ein deutscher Informatiker. Er ist Professor für [[theoretische Informatik]] an der [[Universität Ulm]] und 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]].<ref>Kurzbiographie in: [[Ingo Wegener]] (Hrsg.): ''Highlights aus der Informatik.'' Springer, Berlin 1996, S. 331 ([http://books.google.ch/books?id=rFJQk0QJENYC&pg=PA331 online]).</ref> Seit 1989 hat Schöning eine [[Besoldungsordnung_C#Besoldungsgruppe_C_4|C4-Professur]] an der Universität Ulm inne.<ref>[http://www.einstieg-informatik.de/index.php?article_id=83&back=6&kid=0 Einstieg-Informatik.de Prof. Dr. Uwe Schöning]</ref> Im Januar 1998 erhielt er den [[Landeslehrpreis Baden-Württemberg]] verliehen.<ref>[http://mwk.baden-wuerttemberg.de/fileadmin/pdf/studium/UEbersicht_Landeslehrpreise_Uni_2007.pdf Landeslehrpreis an Universitäten 1993-2007] (PDF; 55 kB)</ref> 1999 erfand er einen häufig zitierten, randomisierten [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]]-Algorithmus. |
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]].<ref>Kurzbiographie in: [[Ingo Wegener]] (Hrsg.): ''Highlights aus der Informatik.'' Springer, Berlin 1996, S. 331 ([http://books.google.ch/books?id=rFJQk0QJENYC&pg=PA331 online]).</ref> Seit 1989 hat Schöning eine [[Besoldungsordnung_C#Besoldungsgruppe_C_4|C4-Professur]] an der Universität Ulm inne.<ref>[http://www.einstieg-informatik.de/index.php?article_id=83&back=6&kid=0 Einstieg-Informatik.de Prof. Dr. Uwe Schöning]</ref> Im Januar 1998 erhielt er den [[Landeslehrpreis Baden-Württemberg]] verliehen.<ref>[http://mwk.baden-wuerttemberg.de/fileadmin/pdf/studium/UEbersicht_Landeslehrpreise_Uni_2007.pdf Landeslehrpreis an Universitäten 1993-2007]{{Toter Link|url=http://mwk.baden-wuerttemberg.de/fileadmin/pdf/studium/UEbersicht_Landeslehrpreise_Uni_2007.pdf |date=2019-05 |archivebot=2019-05-20 19:57:30 InternetArchiveBot }} (PDF; 55 kB)</ref> 1999 erfand er einen häufig zitierten, randomisierten [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]]-Algorithmus. |
||
== Schriften == |
== Schriften == |
||
Version vom 20. Mai 2019, 20:57 Uhr
Uwe Schöning (* 28. Dezember 1955 in Ulm) ist ein deutscher Informatiker. Er ist Professor für theoretische Informatik an der Universität Ulm und 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.[1] Seit 1989 hat Schöning eine C4-Professur an der Universität Ulm inne.[2] Im Januar 1998 erhielt er den Landeslehrpreis Baden-Württemberg verliehen.[3] 1999 erfand er einen häufig zitierten, randomisierten SAT-Algorithmus.
Schriften
- 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.
- Logik für Informatiker. Bibl. Institut Wissenschaftsverlag, 1987, ISBN 3-411-03164-6.
- Logic for Computer Scientists. Birkhäuser Verlag, Boston, 1989, ISBN 3-7643-3453-3, doi:10.1007/978-0-8176-4763-6.
- Theoretische Informatik – kurz gefasst. Bibl. Institut Wissenschaftsverlag, 1992, ISBN 3-411-15641-4.
- hrsg. mit Klaus Ambos-Spies, Steven Homer: Complexity Theory: Current Research. Cambridge University Press, 1993.
- Johannes Köbler, Uwe Schöning, Jacobo Torán: The Graph Isomorphism Problem: Its Structural Complexity. Birkhäuser Verlag, Boston 1993, ISBN 3-7643-3680-3.
- Perlen der Theoretischen Informatik. Bibl. Institut Wissenschaftsverlag, 1995, ISBN 3-411-17331-9.
- Algorithmen – kurz gefasst. Spektrum Akademischer Verlag, 1997.
- mit Randall J. Pruim: Gems of Theoretical Computer Science, Springer-Verlag, 1998, ISBN 3-540-64425-3 (englische Übersetzung der Perlen der Theoretischen Informatik).
- Algorithmik. Spektrum Akademischer Verlag, 2001, ISBN 3-8274-1092-4.
- Ideen der Informatik. Oldenbourg Verlag, 2002, ISBN 3-486-25899-0.
- mit Hans A. Kestler: Mathe-Toolbox: Mathematische Notationen, Grundbegriffe und Beweismethoden. Lehmanns Media, 2010, ISBN 978-3-86541-369-7.
Einzelnachweise
- ↑ Kurzbiographie in: Ingo Wegener (Hrsg.): Highlights aus der Informatik. Springer, Berlin 1996, S. 331 (online).
- ↑ Einstieg-Informatik.de Prof. Dr. Uwe Schöning
- ↑ Landeslehrpreis an Universitäten 1993-2007 (Seite nicht mehr abrufbar, festgestellt im Mai 2019. Suche in Webarchiven) Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. (PDF; 55 kB)
Weblinks
| Personendaten | |
|---|---|
| NAME | Schöning, Uwe |
| KURZBESCHREIBUNG | deutscher Informatiker und Hochschullehrer |
| GEBURTSDATUM | 28. Dezember 1955 |
| GEBURTSORT | Ulm |