„Uwe Schöning“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
= (Diskussion | Beiträge)
Quelle gefunden
akt
Markierung: 2017-Quelltext-Bearbeitung
 
(13 dazwischenliegende Versionen von 13 Benutzern werden nicht angezeigt)
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 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]].<ref>Kurzbiographie in: [[Ingo Wegener]] (Hrsg.): ''Highlights aus der Infomatik.'' 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 1999 erhielt er den Landeslehrpreis, der ihm 1998 vom Land [[Baden-Württemberg]] verliehen worden war.<ref>[http://mwk.baden-wuerttemberg.de/fileadmin/pdf/studium/UEbersicht_Landeslehrpreise_Uni_2007.pdf Landeslehrpreis an Universitäten 1993-2007]</ref> 1999 erfand er einen häufig zitierten [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]]-Algorithmus.<ref>[http://www.oldenbourg-verlag.de/wissenschaftsverlag/kontributor/uwe-schoening Uwe Schöning] beim [[Oldenbourg Verlag]]</ref>
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> 1989 bis zu seinem Ruhestand 2021 hatte Schöning eine [[Besoldungsordnung_C#Besoldungsgruppe_C_4|C4-Professur]] an der Universität Ulm inne.<ref>[https://www.einstieg-informatik.de/prof-dr-uwe-schoening/ Einstieg-Informatik.de Prof. Dr. Uwe Schöning]</ref> Schöning wurde am 15. Januar 1999 der [[Landeslehrpreis Baden-Württemberg]] des Jahres 1998 verliehen.<ref>{{Internetquelle |url=https://web.archive.org/web/20120116041227/http://www.uni-ulm.de/uui/1999/nr226.htm#5 |titel=UUI Nr.226 Januar 1999 |datum=2012-01-16 |abruf=2024-04-10}}</ref><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&nbsp;kB)</ref> 1999 erfand er einen häufig zitierten, randomisierten [[Erfüllbarkeitsproblem der Aussagenlogik|SAT]]-Algorithmus.


== Schriften ==
== Schriften ==
* ''Complexity and Structure. Lecture Notes in Computer Science 211.'' [[Springer Science+Business Media|Springer-Verlag]], Berlin 1985, ISBN 3-540-16079-5.
* ''Complexity and Structure. Lecture Notes in Computer Science 211.'' [[Springer Science+Business Media|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.
* ''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.
* ''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.
* ''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.
* hrsg. mit Klaus Ambos-Spies, Steven Homer: ''Complexity Theory: Current Research.'' [[Cambridge University Press]], 1993.
Zeile 23: Zeile 23:
* [http://www.uni-ulm.de/in/theo/m/schoening.html Informationsseite der Universität Ulm]
* [http://www.uni-ulm.de/in/theo/m/schoening.html Informationsseite der Universität Ulm]


{{Normdaten|PND=110028740|LCCN=n/85/187110|VIAF=108228765}}
{{Normdaten|TYP=p|GND=110028740|LCCN=n/85/187110|VIAF=108228765}}


{{SORTIERUNG:Schoning, Uwe}}
{{SORTIERUNG:Schoning, Uwe}}
[[Kategorie:Informatiker]]
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (Universität Ulm)]]
[[Kategorie:Hochschullehrer (Universität Ulm)]]
[[Kategorie:Absolvent der Universität Stuttgart]]
[[Kategorie:Deutscher]]
[[Kategorie:Deutscher]]
[[Kategorie:Geboren 1955]]
[[Kategorie:Geboren 1955]]

Aktuelle Version vom 12. November 2024, 16:30 Uhr

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.[1] 1989 bis zu seinem Ruhestand 2021 hatte Schöning eine C4-Professur an der Universität Ulm inne.[2] Schöning wurde am 15. Januar 1999 der Landeslehrpreis Baden-Württemberg des Jahres 1998 verliehen.[3][4] 1999 erfand er einen häufig zitierten, randomisierten SAT-Algorithmus.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Kurzbiographie in: Ingo Wegener (Hrsg.): Highlights aus der Informatik. Springer, Berlin 1996, S. 331 (online).
  2. Einstieg-Informatik.de Prof. Dr. Uwe Schöning
  3. UUI Nr.226 Januar 1999. 16. Januar 2012, abgerufen am 10. April 2024.
  4. Landeslehrpreis an Universitäten 1993-2007@1@2Vorlage:Toter Link/mwk.baden-wuerttemberg.de (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)