Wolfgang Paul (Informatiker)
aus Wikipedia, der freien Enzyklopädie
Prof. Dr. Wolfgang J. Paul (* 1951 in Dudweiler, Saarland) ist ein deutscher Informatiker.
Inhaltsverzeichnis |
[Bearbeiten] Leben
Paul studierte von 1970 bis 1972 Informatik an der Universität Saarbrücken und promovierte 1973 bei Prof. Günter Hotz mit dem Thema "Zeitkomplexität von Algorithmen zum Umordnen endlicher Mengen". Nach zwei Jahren als Postdoc an der Cornell University in Ithaca (New York) war er von 1976 bis 1982 Wissenschaftlicher Rat und Professor für Mathematik an der Universität Bielefeld. Nach weiteren vier Jahren in den USA, diesmal am IBM-Forschungslaboratorium in San José nahm er 1986 eine Professur an der Universität des Saarlandes in Saarbrücken an, die er noch heute inne hat. Er war von 1990 bis 1992 Prodekan der Informatikfakultät und von 1998 bis 2000 Dekan der Technischen Fakultät. Neben seiner wissenschaftlichen Laufbahn erwarb er 1982 auch einen Gesellenbrief als Koch.
[Bearbeiten] Werk
Wolfgang Paul beschäftigt sich vor allem mit dem Rechner- und Hardwaredesign sowie der formalen Verifikation von Prozessoren und Mikrokerneln. Für seine Leistungen wurde er 1987 zusammen mit seinem Doktorvater Günter Hotz und Kurt Mehlhorn mit dem Leibnizpreis der Deutschen Forschungsgemeinschaft ausgezeichnet.
[Bearbeiten] Auszeichnungen
- IBM Invention Achievement Award, 1986
- Gottfried-Wilhelm-Leibniz-Preis, Deutsche Forschungsgemeinschaft, 1987
- Ehrendoktorwürde von der russischen Universität Khabarovsk
[Bearbeiten] Weblinks
[Bearbeiten] Motto
"Langsamkeit macht arm."
| Personendaten | |
|---|---|
| NAME | Paul, Wolfgang J. |
| KURZBESCHREIBUNG | deutscher Informatiker |
| GEBURTSDATUM | 1951 |
