News

September 9, 2020: Congratulations: Fabian Mitterwallner completes his master studies

Today Fabian successfully defended his master thesis on “Extending Tools for Confluence and Related Properties of Rewrite systems”. We are happy that Fabian will be employed on a university position to pursue a PhD.