Sie sind hier: Startseite

Willkommen bei Rechnerarchitektur

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

Unser Fokus liegt auf der Verwendung von Logik, genauer Symbolischen Techniken und Werkzeugen zum automatischen präzisem Schließen, einschließlich SAT, Model Checking und Theorem Beweisen. Diese Techniken finden breite Anwendung nicht nur in der Hardware- und Software-Entwicklung und der Verifikation im Allgemeinen sondern auch in der Optimierung und insbesondere in der Künstlichen Intelligenz.

Während der Übergangsphase von Prof. Bernd Becker zu Prof. Armin Biere sind wir dabei diese Webseite zu aktualisieren. Die vorherige Seite der Gruppe finden sie hier.

 

 

Nachrichten

Dieser Ordner hat zur Zeit keinen Inhalt.