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.
Criteria of this press release:
Electrical engineering, Energy, Information technology
transregional, national
Personnel announcements, Research results
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).