Write a Blog >>
Maria A Schett

Registered user since Thu 7 Jan 2016

Name: Maria A Schett

Bio: 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

Country: Austria

Affiliation: University of Innsbruck

Personal website: http://cl-informatik.uibk.ac.at/maria-a-schett/

Research interests: theoretical computer science, graph rewriting, termination and complexity analysis, higher order rewriting

POPL 2016 Activities

POPL 2016-profile
View general profile