Wolfgang J. Paul#
| Membership Number: | 2369 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2006 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | http://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=1 |
Present and Previous Positions
- 1998 - 2000 Dean of the Faculty of Technology
- Since 1986 Professor in Saarbrücken
- 1982 - 1986 Research Staff Member am IBM-Forschungslabor in San Jose
- 1976 - 1982 Wissenschaftlicher Rat und Professor for Mathematik in Bielefeld
- 1974 - 1976 Post Doc at Cornell University
Fields of Scholarship
- Hardware design
- Computer architecture
- Formal verification of processors and microkernels
Honours and Awards
- 2006 Member of Academia Europaea
- 1987 Leibniz-Preis
- 1986 IBM Invention Achievement Award
