idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Grafik: idw-Logo

idw - Informationsdienst
Wissenschaft

Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instance:
Share on: 
09/28/2021 13:17

GI-Dissertationspreis: Verbesserte Verifikationsmethoden für digitale Schaltungen

Julia Meisner Presse- und Öffentlichkeitsarbeit
Gesellschaft für Informatik e.V.

    Für ihre herausragende Doktorarbeit zur Verifikation von Multiplizierern auf Gatterebene erhält Dr. Daniela Kaufmann den Dissertationspreis der Gesellschaft für Informatik e.V. (GI), der Österreichischen Computer Gesellschaft (OCG) und der Schweizer Informatik Gesellschaft (SI).

    Berlin, 28. September 2021 – Dr. Daniela Kaufmann erhält den mit 5.000 Euro dotierten GI-Dissertationspreis, eine gemeinsame Auszeichnung der Schweizer Informatik Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) und der Gesellschaft für Informatik (GI), die herausragende Promotionsarbeiten würdigt. Die Forschungsabeit wurde an der Johannes Kepler Universität Linz eingereicht und widmet sich der formalen Verifikation von arithmetischen Schaltungen mithilfe von algebraischer Beweistechnik.

    Digitale Schaltungen, welche essenzieller Bestandteil von Computern und digitalen Systemen sind, müssen korrekt funktionieren um Fehler zu vermeiden. Die korrekte Spezifikation einer Schaltung kann mithilfe von formaler Verifikation geprüft werden, was im Falle von arithmetischen Schaltungen, insbesondere sogenannter Multiplizierer, jedoch eine Herausforderung darstellt. In ihrer Promotion entwickelte Dr. Daniela Kaufmann ein Verfikationstool, mit welchem Multiplzierer vollautomatisch verifiziert werden können.

    GI-Präsident Prof. Dr. Hannes Federrath: „Dr. Daniela Kaufmann hat im Rahmen ihrer Forschung aktuelle Verifikationsmethoden basierend auf Computeralgebra verbessert. Sie hat neue Methoden entwickelt, die für einen gegebenen Integer-Multiplizierer auf Gatterebene vollautomatisch über dessen Korrektheit entscheiden, ohne dass die Entwicklerinnen und Entwickler manuell in den Verifikationsprozess eingreifen müssen. Damit hat Dr. Daniela Kaufmann eine überraschende Lösung für ein lange bekanntes Problem im Spektrum Theorie, Software und industrielle Anwendung gefunden. Wir gratulieren herzlich zu dieser hervorragenden Leistung!“

    Die Doktorarbeit von Dr. Daniela Kaufmann ist hier zu lesen: https://danielakaufmann.at/wp-content/uploads/2020/11/Kaufmann-PhD-Thesis-2020.p...

    Die offizielle Ehrung findet in diesem Jahr am Mittwoch, den 29.09.2021, auf der INFORMATIK 2021 – der 51. GI-Jahrestagung – statt. Die Auszeichnung kann ab 18:50 Uhr kostenlos im Livestream verfolgt werden. Weitere Informationen finden Sie auf: https://informatik2021.gi.de.


    Über den Dissertationspreis von GI, SI und OCG

    Mit ihrem gemeinsam vergebenen Dissertationspreis möchten die Gesellschaft für Informatik, die Österreichischen Computer Gesellschaft und die Schweizer Informatik Gesellschaft besonders wichtige Arbeiten junger Wissenschaftlerinnen und Wissenschaftler in der Öffentlichkeit herausstellen. Die beteiligen Fachgesellschaften möchten darüber hinaus einen Beitrag zum Wissenstransfer von den Hochschulen in die Bereiche Technik, Wirtschaft und Gesellschaft leisten. Vorschlagsberechtigt für den GI-Dissertationspreis der sind alle wissenschaftlichen Hochschulen in der Bundesrepublik Deutschland, in Österreich und in der Schweiz, die das Promotionsrecht in den oben genannten Bereichen besitzen. Jede dieser Hochschulen darf eine Dissertation für den Preis vorschlagen.

    Über die Gesellschaft für Informatik e.V.
    Die Gesellschaft für Informatik e.V. (GI) ist die größte Fachgesellschaft für Informatik im deutschsprachigen Raum. Seit 1969 vertritt sie die Interessen der Informatikerinnen und Informatiker in Wissenschaft, Gesellschaft und Politik und setzt sich für eine gemeinwohlorientierte Digitalisierung ein. Mit 14 Fachbereichen, über 30 aktiven Regionalgruppen und unzähligen Fachgruppen ist die GI Plattform und Sprachrohr für alle Disziplinen in der Informatik. Die Mitglieder binden sich an die Ethischen Leitlinien für Informatikerinnen und Informatiker der GI. Weitere Informationen finden Sie unter www.gi.de.


    Über die Österreichische Computer Gesellschaft
    Die Österreichische Computer Gesellschaft (OCG) ist ein gemeinnütziger Verein zur Förderung der Informationstechnologie unter Berücksichtigung ihrer Wechselwirkungen mit Mensch und Gesellschaft. Der Verein bietet ein interdisziplinäres Forum für aktuelle IT-Themen. Er ist ein wichtiger und ernst genommener Dialogpartner und Themensetzer für gesellschaftspolitisch relevante IT-Themen. Die OCG bietet ein Forum für Networking, ist eine kompetente sowie verlässliche Partnerin im Bereich der Veranstaltungsorganisation und fördert damit Beziehungen zwischen Wissenschaft und Wirtschaft. Darüber hinaus bietet Sie ein standardisiertes, unabhängiges und qualitatives Weiterbildungsangebot im IT-Bereich und schlägt damit eine wichtige Brücke zur Arbeitswelt. Weitere Inforamtionen unter www.ocg.at.


    Über die Schweizer Informatik Gesellschaft
    Die Schweizerische Informatik Gesellschaft (SI) setzt sich für die Interessen und die Reputation der IT-Fachpersonen in der Schweiz ein. Sie tut dies durch spezialisierte Fachgruppen und Sektionen, fokussierte Projekte, fachlich anspruchsvolle Veranstaltungen (u.a. Swiss Digital Summit) und Publikationen (u.a. Digital Magazine), ein politisches Engagement für Bildungsthemen mit IT-Bezug, Stellungnahmen zu Gesetzesentwürfen und zu nationalen Strategien im Kontext Digitalisierung, die Zusammenarbeit mit anderen Verbänden (u.a. Swiss ICT) und mit Schwestergesellschaften im Ausland (u.a. GI eV, OCG), die Beteiligung an nationalen und internationalen Verbänden (ICT Switzerland, IFIP, CEPIS) und die Mitarbeit in nationalen und internationalen Arbeitsgruppen. Weitere Informationen unter https://swissinformatics.org/de/.


    Contact for scientific information:

    Dr. Daniela Kaufmann: https://danielakaufmann.at/contact/


    Images

    GI-Dissertationspreisträgerin Dr. Daniela Kaufmann
    GI-Dissertationspreisträgerin Dr. Daniela Kaufmann
    katifineartphoto


    Criteria of this press release:
    Journalists, Scientists and scholars, Students
    Electrical engineering, Information technology, Mathematics
    transregional, national
    Contests / awards, Research results
    German


     

    Help

    Search / advanced search of the idw archives
    Combination of search terms

    You can combine search terms with and, or and/or not, e.g. Philo not logy.

    Brackets

    You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

    Phrases

    Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

    Selection criteria

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