Vom 6. bis 10. März 2023 findet die internationale Software-Konferenz „Formal Methods 2023“ (FM 2023) an der Universität zu Lübeck statt.

Die Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur aus Halle) trägt inhaltlich zum 25. internationalen Symposium „Formal Methods Europe” bei und ist Partner der Konferenz, die sich mit formalen Methoden für die Entwicklung und Verifikation von Software- und Computersystemen befasst. Thematisch gibt es aktuell ein großes Interesses an KI- und Machine-Learning-basierter Softwareentwicklung. Aber „Für sicherheitskritische Systeme müssen solche Systeme formal analysiert und verifiziert werden.“ schreibt der Veranstalter diesbezüglich auf seiner Webseite.

Von der Cyberagentur werden Dr. Sebastian Jester, Leiter Sichere Hardware und Lieferketten und Dr. Daniel Gille, Leiter Künstliche Intelligenz, auf dem Industrietag einen Einblick in die aktuellen Forschungstrends zum Thema Cybersicherheit geben.

Wenn Sie mehr erfahren möchten lesen Sie hier ein Interview mit Dr. Sebastian Jester und Dr. Daniel Gille.