Ihr Kontakt für allgemeine Anfragen:
Prof. Dr. Rolf Drechsler
Leiter der Arbeitsgruppe
drechsler@uni-bremen.de
+49 421 - 218 63932
Seit Oktober 2001 leite ich die Arbeitsgruppe Rechnerarchitektur (AGRA) an der Universität Bremen (Fachbereich 3 | Mathematik und Informatik).
Sie beschäftigt sich in Lehre und Forschung mit dem computergestützten Entwurf, der (formalen) Verifikation und dem Testen von Schaltungen und Systemen.
Die Twitter-Kanäle @rolf_drechsler
und @agra_uni_bremen geben aktuelle Gegebenheiten wieder.
Die Arbeitsgruppe hat das Ziel, neue Methoden und Verfahren industrienah zu entwickeln und im praktischen Umfeld auf die Verwertbarkeit hin zu analysieren.
AGRA-Newsletter (halbjährlich)
mit Top Themen des letzten halben Jahres, Aussichten auf die kommenden Monate und Auszeichnungen