Laura Kovács

 

Laura Kovacs

» Full Professor

Laura Kovács is a full professor at the Faculty of Informatics of Vienna University of Technology (TU Vienna). She also holds a part-time professorship at the Department of Computer Science and Engineering of the Chalmers University of Technology. She has a diploma in computer science and math from the West University of Timisoara, Romania and a PhD with highest distinction in computer science from the Research Institute of Symbolic Computation (RISC-Linz) of the Johannes Kepler University Linz, Austria.

In her research, Laura Kovács deals with the design and development of new theories, technologies, and tools for program analysis, with a particular focus on automated assertion generation, symbolic summation, computer algebra, and automated theorem proving. She is the co-developer of the Vampire theorem prover. In 2014, she received the Wallenberg Academy Fellowship and an ERC Starting Grant.

This page remains under construction. For more details, please visit the homepage of Laura Kovács at Chalmers.

Address:
Laura Kovács
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HG 03 15 (how to get there)
Phone: +43 (1) 58801 – 184 30
Email: ta.etysrofnull@scavokl
Web: http://forsyte.at/~kovacs/

Latest News

LogicLounge in memoriam Helmut Veith

Will robots take away your job? In memory of Helmut Veith, this year’s Conference on Computer Aided Verification (CAV), which takes place in Toronto, will feature a LogicLounge on the effect of automation and artificial intelligence on our jobs.

Continue reading

Questions answered by Leslie Lamport

Leslie Lamport is going to answer questions about a Mathematical View of Computer Systems in Informatikhörsaal on Tuesday at 6pm. Check the announcement at the VCLA website and do not forget to watch the lecture beforehand.

Continue reading

Full news archive