March 13, 2014: 10th project headed by CL member accepted by the FWF

In its assembly at the beginning of March the board of the Austrian Science Fund (FWF) accepted Martin Avanzini’s proposal on “Complexity Analysis of Higher-Order Rewrite Systems”. The volume of this Schrödinger fellowship is EUR 143K.

The aim of this project is to advance techniques for the static resource analysis of programs. Limited computational resources, such as memory and execution-time, render resource analysis a central topic in software verification. In his project, Martin Avanzini will focus on higher-order rewrite systems, one of the most general formal models of functional programming languages such as OCaml and Haskell.

Martin Avanzini will conduct a large part of his research during his 2 year stay at the University of Bologna before returning back to Innsbruck for a final year.