© Tiss: Laura Kovacs

Univ.Prof. Dipl.-Ing. Dr.techn. Laura Kovacs was confirmed permanently as University Professor of Automated Program Reasoning at TU Wien with effect from 1 April 2020. She is assigned to the Institute of Logic and Computation, opens an external URL in a new window (E192) in the Faculty of Informatics, opens an external URL in a new window.

Laura Kovacs - born in Resita, Romania - studied at the West University of Timişoara, opens an external URL in a new window. She subsequently moved to Austria, studying at the University of Linz, where she was awarded her doctorate in 2007 for her thesis on "Automated invariant generation by algebraic techniques for imperative program verification in Theorema, opens an external URL in a new window". After spending time abroad at ETH Zurich and EPFL Lausanne, she was employed at TU Wien in 2010 (due to a Hertha-Firnberg scholarship). In 2012, she obtained her Venia Docendi, thus qualifying her to teach Applied and Theoretical Computer Science, for her habilitation on "Symbol elimination in program analysis", opens an external URL in a new window. In 2013 she moved to Sweden, acting as Associate Prof. at the Chalmers University of Technology in Gothenburg, (she is still Visiting Professor there). 2014, she received an ERC Starting Grant, 2018 she was awarded an ERC Proof of Concept Grant and 2020 an ERC Consolidator Grant., opens an external URL in a new window Since April 2016 she has been back at TU Wien where she held a temporary professorship for Automated Program Reasoning.

She is Head of the Research Unit for Formal Methods in Systems Engineering, opens an external URL in a new window (E192-04). 

Publications by Laura Kovacs in ReposiTUm, opens an external URL in a new window.