Trustworthy Tuesday - January
Diesen Monat nimmt uns June Andronick mit in die Welt der Mulitkernel mit ihrem Vortrag über seL4.
Beschreibung
Im January spricht June Andronick über seL4: Formal Verifizierte Software schützt vor Cyberangriffen.
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.