Hohe Auszeichnung für Prof. Dr.-Ing. Wolfgang Kunz

[idw]

Größter Weltverband der Elektrotechnik zeichnet Wissenschaftler der TU Kaiserslautern aus - Prof. Dr.-Ing. Wolfgang Kunz wird "IEEE-Fellow"





Der größte Weltverband der Elektrotechnik und Informationstechnik, das Institute of Electrical and Electronics Engineers (IEEE), hat Prof. Dr.-Ing. Wolfgang Kunz zum Ehrenmitglied (IEEE-Fellow) ernannt. Der Leiter des Lehrgebiets Entwurf Informationstechnischer Systeme an der Technischen Universität Kaiserslautern wurde wie alle IEEE-Fellows nach einem strengen Auswahlprozess vom Direktorium gewählt. Einmal jährlich wird einem kleinen Kreis langjähriger Mitglieder mit herausragenden Leistungen diese höchste Auszeichnung der IEEE zuerkannt. Der renommierte, weltweit tätige Verband mit Hauptsitz in den USA zählt gegenwärtig rund 400.000 Mitglieder.


Die Auszeichnung wurde Prof. Kunz für seine wissenschaftlichen Arbeiten über "Neue Entwicklungen auf dem Gebiet der Verifikation - Entwurfsfehler begrenzen die Produktivität der Mikroelektronikindustrie" verliehen. Er hat in den vergangenen Jahren in intensiver Kooperation mit Siemens und Infineon formale Verifikationsmethoden erforscht und an der Verifikation von System-on-Chips für die Automobilindustrie und Mobilkommunikation mitgewirkt. Dabei handelt es sich um Chips mit vielen Millionen Gattern, darunter die größten Chips, die weltweit durch formale Methoden bisher verifiziert worden sind.


In der Arbeitsgruppe ist ein Verfahren entwickelt worden, das es ermöglicht auch komplexe arithmetische Prozessorkomponenten formal zu verifizieren. In Kooperation mit dem aus Siemens und Infineon hervorgegangenen Start-up Unternehmen OneSpin Solutions GmbH, München, ist eine Methodik entwickelt worden, die weltweit erstmals die vollautomatische und vollständige Verifikation von Mikroprozessoren mittlerer Größe gestattet, wie sie beispielsweise im Automobilbereich eingesetzt werden.


Für wissenschaftliche Publikationen zu diesem Thema ist der Lehrstuhl gerade mit dem Preis der ITG (informationstechnische Gesellschaft im VDE) 2005 ausgezeichnet worden.


Weitere Informationen:
- http://www.uni-kl.de

Quelle: idw