Assoc. Prof. Dr. Georg Moser   

ongoing projects

The Fine Structure of Formal Proof Systems and their Computational Interpretations (FISP)
Joint Project ANR-FWF; project number I2671-N35; duration 3 years.

Complexity Analysis-based Guaranteed Execution (CAGE)
DARPA/AFRL funded; duration 4 years.

Automated Complexity Analysis via Transformations (ACAT)
FWF stand-alone project, project number P25781-N15; duration 3 years.

completed projects

Structural and Computational Proof Theory
Joint Project, bilateral research project between ANR and FWF; project number I608-N18; duration 3 years.

Logic-Based Analysis of Computation
Amadee 2009-10 (ÖAD); the project finances scientific and technological co-operation with Michel Parigot and others at Paris 7, France; project number FR 10/2009; January 2009 – December 2010

Derivational Complexity Analysis
FWF project, number P20133; October 2007 – August 2011

The Slow-Growing Hierarchy
Marie Curie Fellowship: Individual fellowship donated by the European Commission, grant number HPMF-CT-2002-015777 under the supervision of A.~Weiermann. June 2002 – May 2004

Kurt Gödel Auslandsstipendium
Research grant donated by the Austrian Ministry of Science in honour of Kurt Gödel. February 1999 – January 2000