idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
26.07.2006 14:30

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

Dipl.-Volkswirt Thomas Jung Universitätskommunikation
Technische Universität Kaiserslautern

    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


    Bilder

    Merkmale dieser Pressemitteilung:
    Elektrotechnik, Energie, Informationstechnik
    überregional
    Forschungsergebnisse, Personalia
    Deutsch


     

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    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).