Institute for Computer Architecture
and Parallel Computing

Warning: Undefined variable $pubfilter in /www/www-wjp/includes/listeindividuum.php on line 125
Prof. Dr. Wolfgang J. Paul
Saarland University   Building E1 3
FR 6.2 Informatik   Office 305
PO Box 151150   Fon: +49 (0)681 302-2436
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: wjp@cs.uni-saarland.de
 
 
Curriculum Vitae
1951 Geboren
1970 - 1972 Informatikstudium in Saarbrücken
1972 Diplom
1973 Promotion bei Prof. G. Hotz
1974 - 1976 Post Doc an der Cornell University
1976 - 1982 Wissenschaftlicher Rat und Professor für Mathematik in Bielefeld
1982 Gesellenbrief als Koch
1982 - 1986 Research Staff Member am IBM-Forschungslabor in San Jose
1986 IBM Invention Achievement Award
1986 Professor in Saarbrücken
1987 Leibniz-Preis
1987 - 1991 Kommissarischer Leiter des Universitätsrechenzentrums
1990 - 1992 Prodekan des Fachbereichs Informatik
1998 - 2000 Dekan der Technischen Fakultät
2003 - 2007 Wissenschaftlicher Gesamtprojektleiter des Forschungsprojekts Verisoft
2004 Ehrenpromotion durch die Khabarovsk State University of Technology (Russland)
2006 Mitglied der Academia Europaea
2007 - 2010 Wissenschaftlicher Gesamtprojektleiter des Forschungsprojekts Verisoft XT
2008 - 2010 Prodekan des Fachbereichs Informatik
 
Research interests
Hardware Design
Computer Architecture
Formal Verification of Processors and Microkernels
 
Selected Publications (show all publications)
Schmittler, J. and Woop, S. and Wagner, D. and Paul, W.J. and Slusallek, P.   EE BibTeX
Realtime Ray Tracing of Dynamic Scenes on an FPGA Chip.
In Akenine-Möller, T. and McCool, M., editors, Graphics Hardware, Proc. ACM SIGGRAPH/EUROGRAPHICS 2004,
Grenoble, France
Eurographics Association, 2004.
 
Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J.   EE BibTeX
Instantiating uninterpreted functional units and memory system: functional verification of the VAMP.
In Geist, D. and Tronci, E., editors, CHARME 2003,
volume 2860 of LNCS, pages 51-65, Springer, 2003.
 
Even, G. and Paul, W.J.   EE BibTeX
On the design of IEEE compliant floating point units.
volume 49 of IEEE Transactions On Computers, pages 398--413, IEEE Computer Society, 2000.
 
Müller, S.M. and Paul, W.J.   EE BibTeX
Computer Architecture, Complexity and Correctness.
Springer, 2000.
ISBN 3-540-67481-0