APRe: Automated Program Reasoning

The Automated Program Reasoning — APRe group develops new theories, technologies, and tools for automating program analysis, with a particular focus on generating and proving program properties that can prevent programmers introducing errors while making changes in their code. The APRe research targets, among others, algebra-based program analysis, loop invariant synthesis, proving loop termination, probablistic programming, SMT solving, first-order theorem proving, inductive reasoning, and security analysis.

APRe is part of the FORSYTE research unit of the Faculty of Informatics at TU Wien.




For general enquiries, please contact Laura Kovács.