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

Bachelor with Honors Students


Contact: Laura Kovács.