Address IPD Goos Adenauerring 20a AVG 50.41 76128 Karlsruhe Deutschland Tel. +49 721 608-4739 Email matthias dot jaeger at ira dot uka dot de Web http://www.stud.uni-karlsruhe.de/~un7o

Research interests

Compiler Construction, Formal Verification

Projects

Former Eliteförderprogramm für Postdoktoranden

Theses worked on

		Studien thesis
		Generating .NET IL Assembler from FIRM (closed)

Publications

		2004
		Glesner, Forster, Jäger, A Program Result Checker for the Lexical Analysis of the GNU C Compiler