Automated Program Reasoning - APRe Group Research


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

Professor/Group Leader

PhD Students

Master Students


Contact: Laura Kovács.