Automated Program Reasoning - APRe Group Research

My APRe research group at TU Wien constitutes of the following members: 

Professor/Group Leader

• Laura Kovács

Visiting Professors

• Andrei Voronkov

Research Fellows

• Daniela Kaufman

Postdocs

• Anja Petkovic-Komel
• Michael Rawson

PhD Students

• Robin Coutelier
• Clemens Eisenhofer
• Thomas Hader
• Márton Hajdú
• Sophie Rain
• Johannes Schoisswohl
• Anton Varonka
• Eva Maria Wagner

Master Students

• Martina Bertalanic
• Ivana Bocevska
• Johannes Felzmann
• Hannes Pfeiffer
• Theodor Reiser
• Lorenz Winkler

Bachelor and Bachelor with Honors Students

• Benjamin Deutsch
• Theo Jauschneg
• Lukas Leskovar
• Moritz Sattleger

Contact: Laura Kovács.