HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dipl.-Inf. Oliver Bösche


Mein Tätigkeitsbereich ist die Zeitanalyse von digitalen Schaltungen mit dem Schwerpunkt der effizienten Identifizierung der Stimulierbarkeit von Pfaden, bzw. der effizienten Erkennung von falschen Pfaden.
Für den praktischen Einsatz sind dafür Ansätze erforderlich, die auf formalen Methoden aufsetzen, welche eine hohe Robustheit versprechen. Diese werden von mir untersucht bzw. entwickelt.

WiMi

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz