|
Lecturer University of Kaiserslautern |
 |
Wolfgang Kunz received the Dipl.-Ing. degree in Electrical Engineering from the University of Karlsruhe, Germany, in 1989 and the Dr.-Ing. degree in Electrical Engineering from the University of Hannover, Germany, in 1992. From 1993 to 1998, he was with Max Planck Society, Fault-Tolerant Computing Group at the University of Potsdam, Germany. From 1998 to 2001 he was a professor of Computer Science at the University of Frankfurt/Main. In 2001 he joined the Department of Electrical & Computer Engineering at the University of Kaiserslautern.
Wolfgang Kunz conducts research in the area of System-on-Chip design and verification. He has played a leading role in large national research projects in Germany with participation of several international companies, universities and research institutes. Current activities concentrate on industry-strength methodologies for formal design verification. His research group collaborates with Alcatel-Lucent, Audi, Bosch, Infineon and OneSpin Solutions to develop new verification methodologies for Systems-on-Chip and Automotive Systems.
For his research activities Wolfgang Kunz has received several awards including the Berlin Brandenburg Academy of Science Award and the Award of the German IT Society. Wolfgang Kunz is a Fellow of the IEEE.