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

• Olha Denisova
• Andrei Voronkov

Postdocs

• Daniela Kaufman
• George Kenison
• Anja Petković Komel
• Michael Rawson

PhD Students

• Clemens Eisenhofer
• Pamina Georgiou
• Márton Hajdú
• Petra Hozzová
• Marcel Moosbrugger
• Sophie Rain
• Jakob Rath
• Johannes Schoisswohl
• Miroslav Stankovic
• Anton Varonka

Master and Bachhelor with Honors Students

• Lea Brugger
• Matthias Hetzenberger
• Julian Müllner

Contact: Laura Kovács.