I am a fellow of the DFG graduate school PUMA since May, 2009. Previously, I was working as a research assistant in the Mobius project.

My research interests include type systems for resource analysis, lambda calculus and type theory, theorem provers, etc.

Papers

Drafts

Selected Talks

August 31, 2010 in Dagstuhl, Germany ( Modelling, Controlling and Reasoning About State)

Type inference for RAJA - a static heap space analysis of OO-programs.

June 18, 2009 in Madrid (4th Annual MOBIUS Meeting)

New Results on the Implementation of Resource Aware JAva (RAJA)

May 15, 2009 in Aussois, France (Types 2009)

Efficient Type-Checking for Amortised Heap-Space Analysis

June 17, 2008 in Munich (3rd Annual MOBIUS Meeting)

Implementation of Resource Aware JAva (RAJA)

March 27, 2008 in Turin (Types 2008)

Algorithmic Subtyping for Higher Order Bounded Quantification Revisited

October 11, 2007 in Timmendorfer Strand (KPS'07)

Algorithmic Subtyping for Higher Order Bounded Quantification

April 20, 2006 in Nottingham (Types 2006)

Verification of Iteration Schemes for Nested Datatypes in Coq

Tools

• Prototype implementation of RAJA

Theses and technical reports

Teaching

Theoretical Computer Science (Informatik IV) by Fred Kröger, Summer 2007, LMU, Munich

- tutorial section

- grading of assignments

Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Oettingenstraße 67
D-80538 München
Bundesrepublik Deutschland