Trustworthy Tuesday - Formale Methoden mit Matt Wilding
Zurück zur Grundlage: Dr. Matthew Wilding stellt die Frage "Wie können formale Methoden mir helfen?" und lädt sie ein daran teilzunehmen.
Veranstaltungsort
Online (Zoom)-, Deutschland
Beschreibung
In unserer nächsten Sitzung am 18. August wird Dr. Matthew Wilding seinen Vortrag „Can Formal Methods Help Me?“ halten. Formale Methoden sind Ansätze, die mathematische Argumentation nutzen, um Garantien für computergestützte Systeme zu liefern. Oft ist unklar, wann und wie formale Methoden anzuwenden sind, da es zahlreiche Werkzeuge und mathematische Ansätze gibt, eine Vielzahl von Anwendungsbereichen mit unterschiedlichen Anforderungen an die Zuverlässigkeitssicherung sowie verschiedene Ursachen für die besorgniserregende Komplexität von Computersystemen.
Matthew Wilding ist Programmmanager bei der DARPA (Defense Advanced Research Projects Agency) für Softwareentwicklung und die Sicherheit kritischer Systeme.
Die Veranstaltung findet am 21. Juli ab 14:00 Uhr (UTC +2) statt. Die Veranstaltung wird über Zoom abgehalten. Die Aufzeichnung wird nach der Veranstaltung auf der EvIT-Website hochgeladen.
Zoom-Link: https://meetgi.zoom.us/j/61924747086?pwd=n4ilgx0WbDAZmwZnbRCElbsvOtucs5.1