Career

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

I worked at the Rheinisch Westfählische Hochschule (RWTH) Aachen at the Security Engineering Group of Prof. Dr. Heiko Mantel.

My major task was the project work for the EU project Mobius. Besides this there were usual tasks for a member of a group. E.g.

  • Administration of workgroup PCs running as dual boot under WindowsXP and Kubuntu
  • Hardware organization
  • Education as statet on my references page

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

Started studying "Naturwissenschaftliche Informatik" (a combination of natural science and informatics) at the University of Bielefeld.

1999

Albert-Schweitzer-Gymnasium Erfurt

Finished my general qualification for university entrance (Allgemeine Hochschulreife) in 1999 at the Spezialschulteil Mathematik/ Naturwissenschaften/ Informatik of Albert-Schweitzer Gymnasium Erfurt (mathematical-/ natural-scientific oriented Gymnasium).