!!!Wolfgang Kunz \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='Kunz_Wolfgang_small.jpg' alt='Wolfgang Kunz' height='220'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ __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__ [{AcadMemberFOScholarshipPlugin}] \\ __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 \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Kunz_Wolfgang/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Kunz_Wolfgang/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Kunz_Wolfgang/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Kunz_Wolfgang/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit wkunz}] [{ALLOW upload wkunz}] [{ALLOW comment All}]