Wolfgang Paul (computer scientist)
Wolfgang Jakob Paul (* 1951 in Dudweiler , Saarland ) is a German computer scientist .
Life
Paul studied computer science at the Saarland University in Saarbrücken from 1970 to 1972 and received his doctorate in 1973 under Günter Hotz on the subject of the time complexity of algorithms for rearranging finite sets . After two years as a postdoc at Cornell University in Ithaca ( New York ), he was Scientific Counselor and Professor of Mathematics at Bielefeld University from 1976 to 1982 . After a further four years in the USA , this time at the IBM research laboratory in San José , he accepted a professorship at Saarland University in 1986, which he still holds today. From 1990 to 1992 he was vice dean of the computer science faculty and from 1998 to 2000 dean of the technical faculty. In addition to his scientific career, he obtained a journeyman's certificate as a chef in 1982 . In 2006 he also became a member of the Academia Europaea .
plant
Wolfgang Paul is primarily concerned with computer and hardware design as well as the formal verification of processors and microkernels . In 1987, together with Kurt Mehlhorn and his doctoral supervisor Günter Hotz, he was awarded the Leibniz Prize of the German Research Foundation for his achievements .
Awards
- IBM Invention Achievement Award, 1986
- Gottfried Wilhelm Leibniz Prize, 1987
- Honorary doctorate from the Russian State Technical University of Khabarovsk
Web links
| personal data | |
|---|---|
| SURNAME | Paul, Wolfgang |
| ALTERNATIVE NAMES | Paul, Wolfgang Jakob (full name) |
| BRIEF DESCRIPTION | German computer scientist |
| DATE OF BIRTH | 1951 |
| PLACE OF BIRTH | Dudweiler , Saarland |