Vertrauen ist gut – Zertifikate sind besser. Fachvortrag bei RISC Software GmbH mit Prof. Martina Seidl
Wie lässt sich sicherstellen, dass Software verlässliche Ergebnisse liefert – selbst wenn sie so komplex ist, dass man sie nicht vollständig verstehen kann? Dieser spannenden Frage widmete sich Prof. Martina Seidl, Leiterin des Instituts für Symbolic Artificial Intelligence an der Johannes Kepler Universität Linz, bei einem internen Fachvortrag am 9. Juli 2025 in den Räumlichkeiten der RISC Software GmbH.