Automated Program Reasoning - APRe Group Research


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

Professor/Group Leader

Visiting Professors

Postdocs

PhD Students

Master and Bachhelor with Honors Students


Contact: Laura Kovács.