Professional experience
current
Scientific Assistant
Since the 1fst of December 2006 I work as research assistant at the "Lehrstuhl für Prozessleittechnik" at the
Rheinisch Westfählische Hochschule (RWTH) Aachen.
At the moment my major topic is
Rule Based Engineering.
Moreover, I organize the following practicals
- Praktikum Prozessleittechnik A-D,
- Praktikum Prozessautomatisierung,
- Praktikum Leittechnik für Werkstoffingenieure,
- Praktikum Prozesscharakterisierung (Versuch "Dynamische Bilanzen")
Finally I work as PR manager for the "Lehrstuhl für Prozessleittechnik".
2005-2006
Scientific Assistant
Educational background
2001-2005
University of Bremen
Studied Computer Science at the University of Bremen. Finished studying
with diploma thesis about "Implementierung einer monadischen Hoare-Logik
in Isabelle" (Implementation of a Monadic Hoare Logic in Isabelle).
2004
DFKI Saarbrücken
Worked three month at the "German Research Center for Artificial Intelligence" (
DFKI) in Saarbrücken, Germany. Developing a String-representation in the verification support environment
VSE-II.
2000-2001
Royal Institute of Technology, Stockholm (Sweden)
Studied seven month "Datorteknik" (computer science) at the Royal Institute of Technology (
Kungliga Tekniska Högskolan) in Stockholm, Sweden.
1999-2001
University of Bielefeld
1999
Albert-Schweitzer-Gymnasium Erfurt