|
|
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. |
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).