Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 


Prof. Dr. Bernd Becker ist seit dem 1.4.21 im Ruhestand.

Im Projekt Scale4Edge ist er mit seiner Gruppe weiterhin aktiv.

Die Leitung der Arbeitsgruppe Rechnerarchitektur an der Albert-Ludwigs-Universität hat zum 1.8.2021 Prof. Dr. Armin Biere übernommen.




Wir entwickeln Methoden und Verfahren, um die Korrektheit, Zuverlässigkeit und Robustheit von Schaltungen und Systemen vom Entwurf über die Fertigung bis hin zum Einsatz im Feld sicherzustellen.

Unsere Arbeiten – vielfach durchgeführt mit Kooperationspartnern aus einem internationalen industriellen und universitären Umfeld, wie z.B. Mentor Graphics, Infineon, Sick AG, LIRMM Montpellier, University of Iowa, University of Tokyo – finden statt vor dem Hintergrund stetiger technologischer Fortschritte, die die kostengünstige Realisierung von Chips mit vielen Millionen Transistoren erlauben und so schließlich zu immer komplexeren Systemen führen.

Im Unterschied zu klassischen Rechenanlagen und PCs sind dies heute vielfach eingebettete Systeme, die durch die Integration von Prozessoren, Spezialhardware und Software entstehen. Sie sind inzwischen unverzichtbarer Bestandteil unseres Alltags und erschließen sich täglich weitere Anwendungsfelder, z.B. im Verkehrs- wesen (Autos, Eisenbahnen und Flugzeugen), in der Medizintechnik, in der Industrie- automation, aber auch in der Mobilkommunikation und Unterhaltungselektronik.