Write a Blog >>
Maria A Schett

Registered user since Thu 7 Jan 2016

Name:Maria A Schett

2015-05 to 2015-09:

since 2013-10:

since 2011-11:

  • master student Computer Science, University of Innsbruck, Austria

  • thesis: ‘From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination’ Rewriting’, advisor: Georg Moser

2011-11 to 2015-01:

  • master student Information Systems, University of Innsbruck, Austria

  • thesis: ‘Implementation and Evaluation of the KEP Model’, advisor: Stefan Thalmann

Affiliation:University of Innsbruck
Research interests:theoretical computer science, graph rewriting, termination and complexity analysis, higher order rewriting


Show activities from other conferences

POPL 2016-profile
View general profile