Prof. Dr. Wolfgang J. Paul
was born in 1951. At age 22 he completed his PhD in Theoretical Computer Science at Saarland University. He was a post doc at Cornell University working in complexity theory and then became a tenured associate professor of mathematics at the University of Bielefeld at age 25. After finishing a professional cooking degree at a Michelin 1-star restaurant he worked from 1982 to 1986 as a Research Staff Member in the Theory Group and the Physics Department of IBMs Almaden Research Lab. From 1986 to 2016 he was a full professor for Computer Architecture and Parallel Computing at Saarland University, where he served as the Chairman of Computer Science, Dean of Engineering and Acting Head of the universities computing center. From 2003 to 2007 he was the Scientific Coordinator of the projects 'Verisoft' and 'Verisoft-XT', two large projects aiming at the pervasive formal verification of entire computer systems from the gate level to the applications. From 2016 to 2020 he was a Senior Professor at Saarland University. Since August 2020 he is a Professor of Computer Science at Kutaisi International University.


Wolfgang Paul holds an IBM invention achievement award, a Leibniz Award, an honorary doctorate degree from Pacific State University (Russia) and is a member of Academia Europaea. He has successfully supervised 65 PhD students many of which had distinguished careers in academia and industry.
His professional research interests include Hardware Design, Computer Architecture, Formal Verification of Processors and Microkernels.
Wolfgang Paul has a driver’s license for motorcycle and a black belt in Karate.