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.
Merkmale dieser Pressemitteilung:
Elektrotechnik, Energie, Informationstechnik
überregional
Forschungsergebnisse, Personalia
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).