Logo Logo

Laura Kovács

Univ.-Prof. Dr.

Korrespondierendes Mitglied der mathematisch-naturwissenschaftlichen Klasse im Inland seit 2026

  • Professorin für Informatik an der TU Wien

Laura Kovács

Orcid-ID:

0000-0002-8299-2714

Forschungsbereiche:

  • Informatik
  • Theoretische Informatik
  • Artificial Intelligence
  • Automated Reasoning

Zur Person:

CV/Website

Publikationen:

Webseite

Ausgewählte Mitgliedschaften:

  • ETAPS Association - President and Member

Ausgewählte Preise und Auszeichnungen:

  • ERC Consolidator Grant 2020
  • ERC Starting Grant 2014
  • Let’s Empower Austria - LEA Role Model
  • ERC Proof of Concept Grant 2024
  • ERC Proof of Concept Grant 2018

Ausgewählte Publikationen:

  • Kovács, L., Voronkov, A. (2013). First-Order Theorem Proving and Vampire . In: Sharygina, N., Veith, H. (eds) Computer Aided Verification. CAV 2013. Lecture Notes in Computer Science, vol 8044. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_1.
  • Kovács, L. (2008). Reasoning Algebraically About P-Solvable Loops. In: Ramakrishnan, C.R., Rehof, J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2008. Lecture Notes in Computer Science, vol 4963. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78800-3_18.
  • Lea Salome Brugger, Laura Kovács, Anja Petkovic Komel, Sophie Rain, and Michael Rawson. 2023. CheckMate: Automated Game-Theoretic Security Reasoning. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS '23). Association for Computing Machinery, New York, NY, USA, 1407–1421. https://doi.org/10.1145/3576915.3623183.
  • Bártek, F. et al. (2025). The Vampire Diary. In: Piskac, R., Rakamarić, Z. (eds) Computer Aided Verification. CAV 2025. Lecture Notes in Computer Science, vol 15933. Springer, Cham. https://doi.org/10.1007/978-3-031-98682-6_4.
  • Julian Müllner, Marcel Moosbrugger, and Laura Kovács. 2024. Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. Proc. ACM Program. Lang. 8, POPL, Article 30 (January 2024), 29 pages. https://doi.org/10.1145/3632872.