Team
Leitung
Die AG Rechnerarchitektur (AGRA) bietet Lehrveranstaltungen für Bachelor- und Master-Studierende in den Studiengängen Informatik und Systems Engineering an.
In der Forschung werden der computergestützte Entwurf, die (formale) Verifikation und das Testen von Schaltungen und Systemen untersucht. Wissenschaftliche
Publikationen der Arbeitsgruppen bei internationalen Konferenzen und in renommierten Fachzeitschriften sind unter den entsprechenden Rubriken auf der
Homepage zu finden.
Sekretariat, Technik & Service
