Univ.Prof. Dr. techn. Laura Kovacs, MSc

Professorin der Fakultät Informatik, TU Wien

Laura Kovács ist Professorin an der Fakultät für Informatik der Technischen Universität Wien und an der Chalmers University of Technology, Schweden. Nach ihrem Studium der Informatik und Mathematik an der Universität von Timisoara, Rumänien promovierte sie am Forschungsinstitut für symbolisches Rechnen (RISC) der Johannes Kepler Universität Linz, anschließend war sie Associate Professorin in Chalmers.

Laura Kovács forscht zu neuen Theorien, Technologien und Werkzeuge für die computergestützte Verifizierung von Programmen.  Laura Kovács hat zwei Kinder. Ihre Tochter besucht den Betriebskindergarten der TU Wien.