In the fall of 2001 I graduated with a Ph.D. in computer science from the BRICS International Ph.D. School at DAIMI, the computer science department of the University of Aarhus, Denmark. My supervisor was Olivier Danvy. Originally I am from Germany, where I gratuated from Technische Universität München in fall of 1997. I now work in the field of computer security for a large German technology firm.

Scientific interests

My main interests during my academic career were formal methods (especially theorem proving) and programming languages (semantics of programming languages, program analysis, program transformation, types).

Stuff I have written

• My masters thesis A Verified Unification Algorithm for Higher-Order Patterns, which was written under guidance of Tobias Nipkow.
• My PhD-progress report with title Types for Proofs and Programs.
• The paper From I/O automata to timed I/O automata, co-authored with Olaf Müller.
• The paper The second Futamura projection for type-directed partial evaluation, co-authored with Zhe Yang.
• The paper Partial evaluation of pattern matching in strings, revisited, co-authored with Julia Lawall.
• The paper Cost Recurrences for DML programs.
• The paper A Unified Approach to Goal-directed Evaluation, co-authored with Olivier Danvy and Morten Rhiger.
• My Ph.D. thesis Topics in Semantics-based Program Manipulation

Miscellaneous

• The BRICS Juniorklubben
• A group photo of the international students at the BRICS PhD School in the fall of 1997
• CD covers and movie posters featuring BRICS PhD students (mail me if you want the full-scale versions):
  • Damian in America
  • O Marcin where art thou?
  • The PhD is not enough and Bondski, Dziembondski
  • TOMGUN
  • Who is keeping Olivier working late? Take a look at the Usual Suspects.
  • The Brics Brothers.
  • What to do with a Ph.D. (made by Daniel, Zhe, and Daniele.)
  • Whom to ask for advice (made by Daniel, Zhe, and Daniele.)
  • Who climbs academic and real mountains concurrently?
• A new product idea: The Mobile Climbing Wall (with description)

How to contact me