LogiCS | Laura Kovács

Laura Kovács

Associate professor of formal methods at the Chalmers University of Technology, Adjunct associate professor of computer science at the Vienna University of Technology

Founding member of the Austrian Society for Rigorous Systems Engineering – ARiSE
Member of the Advisory Board of the Vienna Center for Logic and Algorithms – VCLA
Member of the Academic Senate of the Chalmers University of Technology

Homepage
Publications

Research Interests
Automated reasoning, program analysis and verification, symbolic computation