Hard- und Software sicher machen - mit Logik und Mathe

Shownotes

Shownotes

Zu Gast sind

• Dr. Dirk Pollmächer bei der Cyberagentur für vertrauenswürdige IT zuständig.
• Dr. Sebastian Ertel, Informatiker am Barkhausen Institut in Dresden.

Empfehlt unseren Podcast, beweist uns das und gewinnt ein exklusives Cyber-Handtuch.

Was seht ihr als derzeit wohl größte Bedrohung der Cybersicherheit an? Hinterlasst eine Sprachnachricht auf unserem AB unter der Telefonnummer: +49 345 78288037. Wenn ihr nicht möchtet, dass eure Sprachnachricht im Podcast veröffentlicht wird, dann sagt uns zu Beginn der Sprachnachricht bescheid.

Ihr könnt auch eine E-Mail schreiben podcast@cyberagentur.de

Die Cyberagentur ist auch bei LinkedIn, Instagram, Mastodon und X.

Links zur Folge

• Die Seite zum Projekt der Cyberagentur: formale Verifikation Infoveranstaltung zu formaler Verifikation: online jeden dritten Dienstag im Monat um 14:00 Uhr.

• Der Workshop zum Projekt im Juni in Lissabon.

• Christoph Drösser in der "Zeit": Eine neue Mathematik. Er schreibt: "Bislang galt: Computer können rechnen, aber mathematische Beweise bleiben Kopfarbeit. Doch ein neues Verfahren könnte die Lösung großer Probleme revolutionieren"

• Sebastians Empfehlung zum Einlesen: über formale Logik und Argumentationstheorie Materialien Uni Hannover.