May 14, 2013: FWF project “Automated Complexity Analysis via Transformations” accepted

Georg Moser’s project proposal on “Automated Complexity Analysis via Transformations” was accepted by the Austrian Science Fund (FWF) and has a duration of 3 years. The volume of the project is EUR 400K.

The project is concerned with analysing the complexity of programs. This is a highly important subject, since the complexity of a program essentially determines its usefulness. The project aims at an automated analysis that should work like a “push button” technology: ones pushes a button and the tool gives detailed information on the complexity of the input program. Furthermore it is aimed at a tool that performs a static program analysis and that can handle existing programming languages, not only toy languages.