Curriculum Vitae

2013-present: Software Developer at Straumann in Basel, Switzerland. Mainly web development on all layers from CSS down to backend logic.
2010-2012: Software architect at XQueue. Designing and developing ASP-Software for email-marketing.
2008-2010:Software developer at EKATO Advanced Process Solutions. Developing expert systems for the design of industrial agitators.
2005-2008: AI developer at the games company Replay Studios, Hamburg.
2003-2005: Research assistant & PhD Student at the chair for Programming Languages and Compiler Construction, TU Dortmund. PhD Thesis: "Challenges and Applications of Assembly-Level Software Model Checking". The thesis was successfully defended in 2006.
2002-2003: Research assistant at the chair for Algorithms and Data Structures at the University below.
1996-2002: Studies of computer science with minor Psychology at Albert-Ludwigs University. Received a Masters degree (Diplominformatiker) in 2002. Topic of Master's Thesis: "Gerichtete Java Programmverifikation" (Directed Java Program Verification).
1974:*February 24th- Freiburg i.Br., Germany.

Programming Skills

C/C++
Java / J2EE
ABAP (just starting)
Web Programming - HTML, JSP, XLST, CSS, JS/Ajax. Experiences with Struts2 and JSF2.
Assembler.
Embedded Programming.