Zum Hauptinhalt springen

Startseite

Aktuelles

Mut zum Risiko: Erneut Millionenförderung für Forscher

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 fünf Jahre 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.

Weitere Informationen:

www.dfg.de/foerderung/programme/einzelfoerderung/reinhart_koselleck_projekte/index.html
www.rolfdrechsler.de  
www.informatik.uni-bremen.de/agra/ger/gruppe.php
www.dfki.de/web/forschung/forschungsbereiche/cyber-physical-systems/

 

Fragen beantwortet:

Prof. Dr. Rolf Drechsler
Arbeitsgruppe Rechnerarchitektur
Fachbereich Mathematik / Informatik
Universität Bremen
Telefon: +49 421 218-63932
E-Mail: drechslerprotect me ?!uni-bremenprotect me ?!.de   

 

 

Mann mit Locken lächelt in die Kamera
Rolf Drechsler erforscht seit vielen Jahren sichere Hard- und Softwaresysteme. Er ist einer der weltweit führenden Wissenschaftler auf dem Gebiet der Synthese, Verifikation und Tests digitaler Schaltungen.

Veranstaltungen

alle Veranstaltungen

Rund ums Studium

Studienangebot

Über 100 Bachelor- und Masterstudiengänge, juristisches Staatsexamen, internationale und weiterbildende Studienangebote – wer an der Universität Bremen studieren möchte, hat vielfältige Auswahlmöglichkeiten. Wenn Sie schon ziemlich genau wissen, was Sie studieren wollen, finden Sie hier alle Informationen zum Studienangebot der Universität Bremen, alphabetisch sortiert und nach vielen Kriterien filterbar.

Wenn Sie noch unschlüssig in der Wahl ihres Faches sind, holen Sie sich Unterstützung bei der Zentralen Studienberatung, um unklare Vorstellungen in ein deutliches Studienprofil umzuwandeln. Für eine erste inhaltliche Orientierung haben wir das Studienangebot für Sie in acht Studien- und Berufsfelder aufgeteilt. Das hilft Ihnen, eine erste Auswahl zu treffen.

 

Lehrprofil

Forschendes Lernen bietet allen Studierenden die Möglichkeit, die Lehre aktiv mitzugestalten. Die Universität Bremen bietet ein breites Fächerspektrum mit unterschiedlichen Wissenskulturen. Aus dieser Vielfalt erwächst eine Studienkultur gegenseitiger Wertschätzung, die ein lebendiges und erfolgreiches Studium ermöglicht.

Lehrveranstaltungen

Im Lehrveranstaltungsverzeichnis online sind Lehrveranstaltungen nach Fachbereichen und Studiengängen sortiert zu finden, ebenso überfachliche Angebote. Studienanfänger können im Rahmen von „UniStart“ Veranstaltungen besuchen, um sich inhaltlich auf das Studium vorzubereiten, sich auf dem Campus zu orientieren oder Kommilitonen kennenzulernen.

Studienberatung

Erste Anlaufstelle für Informationen rund ums Studium ist die Zentrale Studienberatung. Fachspezifische Fragen können in den Studienzentren oder in der Studienfachberatung geklärt werden. Schnupperangebote und den Informationstag für Studieninteressierte geben Ihnen die Möglichkeit, die Universität Bremen genauer kennenlernen.

Studium international

Auf unserem Campus leben wir Vielfalt. 2.200 Menschen von allen fünf Kontinenten studieren hier. Mehr als 600 internationale Kooperationspartner bilden unser weltweites Netzwerk. Viele Fachbereiche bieten internationale Studiengänge an. Internationale Studierende dürfen sich auf ein vielfältiges fachliches und kulturelles Angebot bei uns freuen.

Rund um die Forschung

  • aaq Akkreditierung
  • Gütesiegel des Deutschen Hochschulverbands
  • EMAS Zertifizierung für geprüftes Umweltmanagement
  • Zertifikat audit familiengerechte hochschule
  • Logo Audit „Internationalisierung der Hochschulen“ der HRK
  • Logo Audit "Vielfalt gestalten" des Stifterverbandes
  • CHE Ranking