Alles schon passiert und da gewesen: Millionen Computer auf der ganzen Welt fallen aus, darunter auch wichtige Systeme von Krankenhäusern, Banken oder Flughäfen – ausgelöst durch einen Softwarefehler.
Laura Kovacs ist Professorin am Institut für Logic and Computation der TU Wien und spezialisiert auf die Entwicklung logischer Methoden, um Softwarefehler zuverlässig und präzise aufzudecken. Sie ist bei Elisabeth Oberzaucher zu Gast und gibt Einblicke in ihre spannende Forschungsarbeit.
Hier erfahren Sie mehr über Laura Kovacs: TU Wien.
Werfen Sie mit uns ein Ohr hinter die Kulissen der Wiener Wissenschaft. Alle 14 Tage gibt es eine neue Podcast-Folge!
Kommentare
Willkommen in unserer Community! Eingehende Beiträge werden geprüft und anschließend veröffentlicht. Bitte achten Sie auf Einhaltung unserer Netiquette und AGB. Für ausführliche Diskussionen steht Ihnen ebenso das krone.at-Forum zur Verfügung. Hier können Sie das Community-Team via unserer Melde- und Abhilfestelle kontaktieren.
User-Beiträge geben nicht notwendigerweise die Meinung des Betreibers/der Redaktion bzw. von Krone Multimedia (KMM) wieder. In diesem Sinne distanziert sich die Redaktion/der Betreiber von den Inhalten in diesem Diskussionsforum. KMM behält sich insbesondere vor, gegen geltendes Recht verstoßende, den guten Sitten oder der Netiquette widersprechende bzw. dem Ansehen von KMM zuwiderlaufende Beiträge zu löschen, diesbezüglichen Schadenersatz gegenüber dem betreffenden User geltend zu machen, die Nutzer-Daten zu Zwecken der Rechtsverfolgung zu verwenden und strafrechtlich relevante Beiträge zur Anzeige zu bringen (siehe auch AGB). Hier können Sie das Community-Team via unserer Melde- und Abhilfestelle kontaktieren.