Seitenpfad:

Wie lässt sich die Sicherheit von Computerschaltungen überprüfen?

Samstag, 8. Dezember
Wissen um 11
Wie lässt sich die Sicherheit von Computerschaltungen überprüfen?
Dr. Stephan Eggersglüß bei Wissen um 11

Am Samstag, den 8. Dezember um 11 Uhr wird Dr. Stephan Eggersglüß den Vortrag halten: "Wie lässt sich die Sicherheit von Computerschaltungen überprüfen?". Eggersglüß promovierte 2010 an der Universität Bremen im Fachbereich Informatik und ist seitdem als PostDoc in der Arbeitsgruppe Rechnerarchitektur und als Senior Researcher am Deutschen Forschungszentrum für Künstliche Intelligenz in der Forschungsabteilung Cyber-Physical Systems tätig. Für seine Doktorarbeit erhielt er 2010 den IEEE TTTC E.J. McCluskey Best Doctoral Thesis Award und 2011 sowohl den Bremer Studienpreis als auch den EDAA Outstanding Dissertation Award. Seine Forschungsinteressen liegen in den Bereichen der Tests und der Verifikation von Hardware und Systemen.

Vortrag
Heutige Computerchips bestehen aus vielen Millionen Komponenten und sind in vielen Dingen unseres Alltags zu finden. Besonders der Einsatz in sicherheitskritischen Systemen, wie z.B. in Flugzeugen oder der Medizintechnik, erfordert unter allen Umständen das korrekte Funktionieren dieser komplexen Systeme. Im Vortrag stellt der Referent die Thematik mit "prominenten" Beispielen vor und zeigt auf wie heutzutage im Entwurfsablauf und Fertigungsprozess die Korrektheit von Computerchips sicher gestellt wird.

Am Samstag, den 15. Dezember wird Prof. Dr. Jörg Friedhelm Venzke den Vortrag halten: "Probleme der Zukunft borealer Wälder in Russland und Nordeuropa".

"Wissen um 11", die Wissenschaftsmatinee in Bremen, in der spannende und aktuelle Themen aus der Wissenschaft jeden Samstag um 11 Uhr in dreißig Minuten vorgestellt werden.
Der Eintritt ist frei.

Wir bitten um Verständnis dafür, dass das Platzangebot im Olbers-Saal aus feuerschutzpolizeilichen Gründen auf 195 Personen begrenzt ist.

Wie lässt sich die Sicherheit von Computerschaltungen überprüfen?