Trustworthy Tuesday - December
Mit Trustworthy Tuesday gibt es die Möglichkeit in die spannende Welt der formalen Verifikation und vertrauenswürdiger IT einzusteigen. Im Dezember spricht Mo Fadiheh über Property Generatoren.
Beschreibung
Im Dezember spricht Mo Fadiheh über Property Generator: Generierung formaler Aussagen für vertrauenswürdige Hardware.
Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Mit Input-Vorträgen von 15-20min. laden wir die Teilnehmenden zu einer anschließenden Diskussion und einer Runde Fachfragen ein, um aktuelle Entwicklungen, Best Practices und praktische Ansätze zu beleuchten.
Die Reihe richtet sich sowohl an Studierende als auch an Interessierte, die einen Einblick zu formalen Methoden und vertrauenswürdiger IT bekommen wollen – ohne ein komplettes Seminar zu belegen. Das kompakte Format eignet sich als „Wissens-Snack“ in der Mittagspause.