You can find my complete business profile in xing profile (get account) or in LinkedIn profile. Some information about the companies I was employed at:

Holisticon AG, Hamburg (Since Jan 2010)

Since I returned from USA, I’m working as a senior consultant for holisticon AG in Hamburg. Here is a list of selected projects I was participating in:

  • Hanse Merkur/BD24: Humboldt
  • Lufthansa Technik: Platform eXcellence
  • Lufthansa Technik: one/process, arc/process BPE change
  • Axel Springer: Paywall
  • Lufthansa Technik: arc/quotation
  • PPI: Travic Corporate Platform

Microsoft Research, Silicon Valley, USA (Jan 2009 – Sep 2009)

I was working on the further developement of the TLA+ Tools in Silicon Valley Campus of Microsoft Research. In particular, I developed Eclipse-based full featured IDE for the TLA+ and PlusCal language including the integration with TLC model checker. Have a look on the official TLA+ user site if you are interested. It was a wonderful time, full of new experiences, meeting excellent people and learning the country.

Joint Lab MSR – INRIA, Orsay, France (Oct 2008 – Jan 2009)

After my contract in the university finished, Leslie Lamport invited me to work on TLA+ Tools.  I started in The Center in France, where I spent wonderful three months, to continue the work on it in Microsoft Research, in Mountain View, California, USA.

Hamburg University of Technology (Jul 2005 – Sep 2008)

After achieving my Dipl.-Ing. (similiar to Master of Engineering Science) I was offered the opportunity to write a dissertation (for achieving a German Dr.) at the Insitute of Telematics. The subject of my thesis is “Development of methodology for modeling virtual enterprises”. Writing a dissertation was my primary job, but I was further employed at Lufthansa Systems AG. Please see research for more information.

Supervised Master thesises (or German Dipl.-Ing.)

[bibtex file=supervised.bib allow=mastersthesis]

Supervised project works (German Studienarbeit)

[bibtex file=supervised.bib allow=techreport]

Organized events

Lufthansa Systems AG, Hamburg, Germany (Jul 2004 – Oct 2008)


Lufthansa Systems is one of the world’s leading full service IT providers and industry specialists for the airline and aviation sector. Over the past 10 years it has established a key position for ourselves in an increasingly difficult market thanks to our in-depth airline know-how and our comprehensive technological competence.

My Activities

I began my work by Lufthansa Systems in Juli 2004. For now I’m responsible to the cutomer relationships, project and technical management, and technical consulting. In selected projects I’was acting as an architect and also put my hands on some framework and infrastructure code…

PerrySoft IT-Systems & Consulting GmbH & Co.KG, Hamburg, Germany (Jun 2002 – Jul 2004)


PerrySoft is a small company concentrating on application development and consulting especially in Java based software solutions.

My Activities

As I began to work for Perrysoft, sometime in summer 2002, I was an expert in Visual Basic and in web programming, but novice in Java. PerrySoft developed a project for Lufthansa Technik AG, that should became a J2EE application with JSP frontend. That was the best possiblity for me to try some lightweight Java. Boris did the backend programming of the application and let me design and implement the JSP frontend. This application was my first productive application written in Java. As time passed I was familarized with a framework written by PerrySoft collegues, that serves as a basic plattform for application written by the company for Lufthansa Technik AG.

c.a.r.u.s. Information Technology AG (May 1999 – Aug 2001)

From May 1999 until August 2001 I was employed at the c.a.r.u.s. IT AG. In that time c.a.r.u.s. was a medium-sized business company, employing about 150 people. The core competences of the company were software development in retail, health and telco areas, as well as distribution of IBM soft- and hardware.
I began to work in c.a.r.u.s. as a student assistant and became a developer in later 1999. I developed in Visual Basic 6 some business applications. The boast of my development was an internal telecomunication application, that allowed the desk office to email the information of accepted phone calls to people, that have been called but were not availiable. It was a tricky client-server application connected to the in-house PBX with its server-part. The client-server interaction was implemented using COM+ technology. The client used functionality deployed on the MTS Server.
Sometime in 2003 I called my project team leader in c.a.r.u.s. but didn’t catch him on his place. Then I was suprised about the fact, that the front desk lady were asking me about the reason of my call and so on – information to be filled in those fields I put on the application window three years earlier…