Laura Kovacs
Scholar

Laura Kovacs

Google Scholar ID: X4K5SpIAAAAJ
TU Wien, Vienna, Austria
automated reasoningprogram analysistheorem provingsymbolic computation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,910
 
H-index
21
 
i10-index
42
 
Publications
20
 
Co-authors
0
 
Contact
Emaillaura.kovacs@tuwien.ac.at
Publications
2 items
A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
2025
Cited
0
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
2025
Cited
0
Resume (English only)
Academic Achievements
  • Teaches multiple courses related to computer science, such as Doctoral & Master Students Seminar, Introduction to Logical Methods in Computer Science, etc.
Research Experience
  • Leads the Automated Program Reasoning group at TU Wien.
Background
  • Professor; Research interests include automated program reasoning, etc.
Miscellany
  • Contact: Phone +43 1 58801 18430; Email laura.kovacs@tuwien.ac.at; Office location HG0315
Co-authors
0 total
Co-authors: 0 (list not available)