Only available in German.
Vielen Dank für das Interesse an unserer Arbeitsgruppe.
Ihr Kontakt für allgemeine Anfragen:
Prof. Dr. Rolf Drechsler
Leiter der Arbeitsgruppe
drechsler@uni-bremen.de
+49 421 - 218 63932
Seit Oktober 2001 ist Prof. Dr. Rolf Drechsler der Leiter der Arbeitsgruppe Rechnerarchitektur.
Die Arbeitsgruppe Rechnerarchitektur (AGRA) an der Universität Bremen (Fachbereich 3 | Mathematik und Informatik) unter der Leitung von Herrn
Prof. Dr. Rolf Drechsler beschäftigt sich in Lehre und Forschung mit dem computergestützten Entwurf, der (formalen) Verifikation und dem Testen von Schaltungen
und Systemen.
Gemäß Moore`s Law entwickelt sich die Größe dieser Systeme und damit die Komplexität vieler Entwurfsaufgaben mit rasanter Geschwindigkeit. Deshalb
liegt ein Schwerpunkt auf der Konzeption, Entwicklung und Anwendung von problemspezifischen Datenstrukturen, effizienten Algorithmen sowie neuartigen Vorgehensweisen.
In den genannten Bereichen publiziert die Arbeitsgruppe regelmäßig in renommierten Zeitschriften (z.B. TCAD, TC, STTT) und Tagungen (z.B. ASP-DAC, DAC, ICCAD, DATE).
Die Arbeitsgruppe hat das Ziel, neue Methoden und Verfahren industrienah zu entwickeln und im praktischen Umfeld auf die Verwertbarkeit hin zu analysieren.
