Wolfgang Kunz#
| Membership Number: | 6107 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2022 |
| Main Country of Residence: | GERMANY |
| Homepage(s): | https://www.eit.uni-kl.de/eis/ |
Present and Previous Positions
- 2001 Full Professor (C4, W3) and Chair of Electronic Design Automation, Dept. of Electrical and Computer Eng., TU Kaiserslautern, Dean: 2005 - 2007, Vice-Dean: 2007 - 2009
- 1998 Professor (C3), Department of Computer Science, Johann Wolfgang Goethe-University Frankfurt/Main, Dean: 1999 - 2000, Vice-Dean: 1998 - 1999, 2000 - 2001
- 1993 Research scientist /post-doc with Max-Planck-Society (Max Planck Institute of Computer Science), Fault-Tolerant Computing Group (Prof. Gössel) at the University of Potsdam
- 1991 Research scientist/ Ph.D. student with Institute for Theory of Electrical Engineering (Prof. J. Mucha), University of Hannover
- 1989 Research Assistant / Ph.D. student at the Dept. of Electrical and Computer Engineering, University of Massachusetts, Amherst, USA
- 1998, 08 - 1999, 12 Chief Scientist, Verisys Inc., Fremont, CA, USA
- 1995, 05 - 1996, 10 Research Assistant Professor, Dept. of Computer Science, Texas A&M University, College Station, TX, USA.
Fields of Scholarship
- Hardware safety and security
- Formal hardware verification
- Embedded computing systems
- Hardware design
- Formal hardware/software co-verification
- Hardware optimization
- Systems-on chip
- Electronic design automation
Honours and Awards
- 2016 TU Kaiserslautern Distinguished Teaching Award
- 2006 IEEE Fellow (for contributions to hardware verification, VLSI circuit testing and logic synthesis)
- 2005 The 2005 Award of the German IT Society (Informationstechnische Gesellschaft); (for work and publications on formal System-on-Chip verification)
- 1997 Gerhard-Hess Award of German Research Council (Deutsche Forschungsgemeinschaft)
- 1996 The Berlin-Brandenburg Academy of Science Award
