Automated Program Reasoning - APRe Group Research


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

Professor/Group Leader

Visiting Professor

Postdocs

PhD Students

Master Students

Bachelor with Honors Students

Research Interns


Contact: Laura Kovács.