Lau­ra Kovacs hat bereits meh­re­re hoch­do­tier­te ERC-Grants erhal­ten. Nun wird sie mit einem „ERC Pro­of of Con­cept-Grant“ aus­ge­zeich­net und das erlaubt auch die leich­te­re Nut­zung von Erkennt­nis­sen für die Softwareindustrie.

Am Vor­tag hat­te noch alles funk­tio­niert, doch am 19. Juli 2024 herrsch­te plötz­lich Cha­os. Mil­lio­nen Com­pu­ter auf der gan­zen Welt fie­len aus, dar­un­ter auch wich­ti­ge Sys­te­me von Kran­ken­häu­sern, Ban­ken oder Flug­hä­fen. Als „Crowdstrike-Com­pu­ter­aus­fall“ ging die­ser Aus­fall in die Geschich­te ein. Schuld war ein Soft­ware-Update, das einen heim­tü­cki­schen Logik-Feh­ler ent­hielt. Sol­che Kata­stro­phen sol­len sich in Zukunft mit Hil­fe neu­er Logik-Metho­den ver­hin­dern las­sen und die ent­wi­ckelt Lau­ra Kovacs mit ihrem Team am Insti­tut für Logic and Com­pu­ta­ti­on der TU Wien in ihrem bis­he­ri­gen ERC-Pro­jekt. Nun bekommt sie einen „Pro­of of Con­cept-Grant“ des Euro­pean Rese­arch Coun­cil (ERC), mit dem nun LEARN ent­wi­ckelt wer­den soll. Das ist eine Schnitt­stel­le, mit der die bereits erar­bei­te­ten logi­schen Werk­zeu­ge leich­ter nutz­bar gemacht und in der Soft­ware­indus­trie ein­ge­setzt wer­den sollen.

Soft­ware ist mitt­ler­wei­le über­aus kom­plex geworden
ERC-Grants sind die höchst­do­tier­ten För­de­run­gen der euro­päi­schen For­schungs­land­schaft. Einen sol­chen Grant ein­zu­wer­ben, gilt als gro­ße Aus­zeich­nung für exzel­len­te wis­sen­schaft­li­che Arbeit. Lau­ra Kovacs hat nicht nur einen, son­dern nun ins­ge­samt gleich vier ERC-Grants erhal­ten. Auf einen ERC Start­ing Grant 2014 folg­te ein Pro­of of Con­cept-Grant, und auf ihren ERC Con­so­li­da­tor Grant 2020 folgt nun ein wei­te­rer Pro­of of Con­cept Grant.

Soft­ware ist längst so kom­plex gewor­den, dass ein­zel­ne Men­schen kei­nen voll­stän­di­gen Über­blick mehr bewah­ren kön­nen. Sol­che Feh­ler wie der des Crowdstrike-Updates sind somit auch durch sorg­fäl­ti­ge War­tung nicht zu ver­mei­den. Das Feh­ler­su­chen kann aber auto­ma­ti­siert wer­den. Lau­ra Kovacs arbei­tet an logik-basier­ten Metho­den, die bestehen­de Soft­ware ana­ly­sie­ren und abso­lu­te Feh­ler­frei­heit garan­tie­ren können.

Ein Inter­face namens LEARN Nun soll im Rah­men des Pro­of-of-Con­cept-Pro­jekts ein Inter­face namens LEARN ent­ste­hen, das die­se Metho­den auf ein­fa­che und leicht zu ler­nen­de Wei­se zugäng­lich macht. „LEARN wird auf die­se Wei­se gewal­ti­ge Kos­ten ein­spa­ren kön­nen, die für das Kor­ri­gie­ren feh­ler­haf­ter Soft­ware-Updates immer wie­der anfal­len“, sagt Lau­ra Kovacs. Der Pro­of of Con­cept Grant ist mit Euro 150.000 dotiert, über einen Pro­jekt­zeit­raum von 1,5 Jah­ren. Das Pro­dukt wird in indus­tri­el­len Umge­bun­gen ein­ge­setzt wer­den. Fir­men wie Ama­zon, Cer­to­ra oder Micro­soft haben bereits als „ear­ly adop­ter“ zuge­sagt. Außer­dem soll LEARN auch in der Leh­re eine wich­ti­ge Rol­le spie­len : Hun­der­te Stu­die­ren­de wer­den an der TU Wien die Mög­lich­keit haben, mit Hil­fe des Tools ihre Logik und Soft­ware­ana­ly­se-Fähig­kei­ten zu verbessern.