Schluss mit den Computerfehlern!

Prof. Laura Kovacs wurde mit einem 'Proof of Concept'-Grant des ERC ausgezeichnet. Nun will sie ihre Ideen mit einem eigenen Start-up in die Softwareindustrie einbringen. Wir alle ärgern uns über Softwarefehler ' von der Handy-App, die plötzlich abstürzt, bis zur Grafikkarte, die sich mit dem neuen Betriebssystem nicht verträgt. Beinahe haben wir uns schon daran gewöhnt, dass Computer manchmal unsicher, unvorhersehbar und fehleranfällig sind. Aber das müsste nicht so sein. Prof. Laura Kovacs vom Institut für Logic and Computation der TU Wien entwickelt Methoden, mit denen unsere Software sicherer und verlässlicher werden soll. 2014 wurde sie mit einem ERC Starting Grant des European Research Council ausgezeichnet.