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

Events

Research Grants

Student projects

Teaching

Software

Community Service


I am a full professor in automated program reasoning at the Faculty of Informatics of the Vienna University of Technology (TU Wien).

I also hold a part-time position as an adjunct professor at the Chalmers University of Technology.

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: