idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
Diese Förderung ermöglicht extrem viel Freiraum, um innovativ wissenschaftlich arbeiten zu können: Die Deutsche Forschungsgemeinschaft (DFG) hat Professor Rolf Drechsler erneut ein Reinhart Koselleck-Projekt genehmigt. Die Fördersumme umfasst über einen Zeitraum von fünf Jahren mehr als 1,5 Millionen Euro. Eine weitere Besonderheit: Der Informatiker der Universität Bremen und Leiter des Forschungsbereichs Cyber-Physical Systems des Deutschen Forschungszentrums für künstliche Intelligenz (DFKI) erhält diese Förderung bereits zum zweiten Mal. Das gab es in der Fördergeschichte der DFG bislang noch nie.
"Ich gratuliere Professor Drechsler ganz herzlich zu diesem Erfolg“, sagt der Rektor der Universität Bremen, Professor Bernd Scholz-Reiter. „Dass er diese Förderung bereits zum zweiten Mal erhält zeigt, welches Vertrauen die DFG in die Expertise und Erfahrungen des Wissenschaftlers hat.“ Rolf Drechsler erforscht seit vielen Jahren sichere Hard- und Softwaresysteme. Der 50-Jährige ist einer der weltweit führenden Wissenschaftler auf dem Gebiet der Synthese, Verifikation und Tests digitaler Schaltungen.
„Schweizer Taschenmesser“ für Prüfungsverfahren
Worum geht es in dem Projekt? „Die digitale Revolution hat unser Leben dramatisch verändert. Nach Computern, Internet und modernen mobilen Geräten hält die Digitalisierung in viele traditionelle Industrien Einzug“, sagt Drechsler. Die Grundlage dieser Revolution seien sogenannte digitale Logikschaltungen. Dabei handelt es sich um kleine Bauelemente, die die elektronische Datenverarbeitung überhaupt erst ermöglichen. Damit diese ihre Aufgabe erfüllen können, müssen die Schaltkreise von digitalen Geräten fehlerfrei arbeiten.
Doch das ist in der Praxis erfahrungsgemäß nicht der Fall. Die einzelnen Systeme einzeln zu prüfen kostet viel Zeit. Der Informatiker will in seinem Projekt deshalb spezielle Verfahren ausprobieren, die möglichst viele Systeme unter allen Bedingungen testen. Diese Verfahren nennen sich „formale Verifikationstechniken“ und sollen im Hintergrund laufen, so dass die Nutzerinnen und Nutzer sich damit nicht beschäftigen müssen. „Sie sollen quasi zum `Schweizer Taschenmesser` für die Verifikation von digitalen Schaltungen aus der Praxis werden“, erläutert Drechsler. Der Titel des Projekts lautet: „PolyVer: Polynomiale Verifikation elektronischer Schaltungen".
„Ich freue mich sehr, dass ich durch das zweite Koselleck-Projekt die Freiheit bekomme, Dinge auszuprobieren, um die technische Entwicklung in der digitalen Welt langfristig voranzubringen“, sagt der Wissenschaftler. Darüber hinaus profitiert der wissenschaftliche Nachwuchs davon. Denn mit den Fördergeldern finanziert der Informatiker auch Qualifizierungsstellen.
Über Reinhart Koselleck-Projekte
Reinhart Koselleck-Projekte stehen für mehr Freiraum, um besonders innovative und im positiven Sinne risikobehaftete Forschung zu fördern. Die Forschenden sollen also Mut zum Risiko haben. Die DFG ermöglicht sie ausschließlich Forschenden, die in ihren Wissenschaftsgebieten besondere Leistungen nachweisen können. Namensgeber des Programms ist der im Jahr 2006 verstorbene Reinhart Koselleck, einer der bedeutendsten deutschen Historiker des 20. Jahrhunderts. In Deutschland gehörte er zu den Begründern der modernen Sozialgeschichte. Koselleck galt als Querdenker.
Prof. Dr. Rolf Drechsler
Arbeitsgruppe Rechnerarchitektur
Fachbereich Mathematik / Informatik
Universität Bremen
Telefon: +49 421 218-63932
E-Mail: drechsler@uni-bremen.de
http://www.dfg.de/foerderung/programme/einzelfoerderung/reinhart_koselleck_proje...
http://www.rolfdrechsler.de
http://www.informatik.uni-bremen.de/agra/ger/gruppe.php
http://www.dfki.de/web/forschung/forschungsbereiche/cyber-physical-systems/
http://www.uni-bremen.de
Rolf Drechsler ist einer der weltweit führenden Wissenschaftler auf dem Gebiet der Synthese, Verifik ...
Copyright: Lisa Jungmann / Universität Bremen
None
Criteria of this press release:
Journalists, Scientists and scholars
Information technology
transregional, national
Personnel announcements, Research projects
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).
