Laura Kovács
Professor

Automated Program Reasoning Group - APRe
Email: laura dot kovacs at tuwien dot ac dot at
Postal address: Favoritenstrasse 9-11/E192.4, 1040 Vienna, Austria

     

CV

Publications

APRe Group

APRe Events

Research Grants

Student Projects

Teaching

Software

Community Service


I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien), leading the research group in automated program reasoning- APRe.
 

Research interest:
My research is designing new methods for computer-aided program analysis and verification by combining:

  • automated theorem proving;
  • automated assertion generation;
  • symbolic computation.

NEWS:

Awards: