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

  • [2008,mastersthesis] bibtex
    M. D. Nguyen, "Development of PDD based infrastructure," Master’s Dissertation , 2008.
    @mastersthesis{NGUYEN2008,
      author = {Mihn Dan Nguyen},
      title = {Development of PDD based infrastructure},
      year = {2008},
      month = {March}
    }
  • [2008,mastersthesis] bibtex
    H. Klimek, "Design of PDD domain language and model repository," Master’s Dissertation , 2008.
    @mastersthesis{KLIMEK2008,
      author = {Helge Klimek},
      title = {Design of PDD domain language and model repository},
      year = {2008},
      month = {March}
    }
  • [2007,mastersthesis] bibtex
    N. Qutteineh, "Business Process Mediation Using TLA+," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{QUTTEINEH2007,
      author = {Nadeem Qutteineh},
      title = {Business Process Mediation Using TLA+},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Apr, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    C. Poray-Wilczynski, "Enhancements to the Property-Driven Development Method: A Case Study from the Aerospace Industry," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{PORAY2007,
      author = {Christopher Poray-Wilczynski},
      title = {Enhancements to the Property-Driven Development Method: A Case Study from the Aerospace Industry},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Sep, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    Z. Wang, "Techniques for verifying business processes expressed in BPEL," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{WANG2007,
      author = {Zhen Wang},
      title = {Techniques for verifying business processes expressed in BPEL},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Oct, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    M. Denysova, "Refinement of Alternation Traces in Context of Model-Driven Change Management," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{DENYSOVA2007,
      author = {Mariya Denysova},
      title = {Refinement of Alternation Traces in Context of Model-Driven Change Management},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Nov, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    A. Ghitescu, "Alternatives for improvement of a Service Oriented Architecture with Model-Driven Development," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{GHITESCU2007,
      author = {Anca Ghitescu},
      title = {Alternatives for improvement of a Service Oriented Architecture with Model-Driven Development},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Nov, year = {2007}
    }
  • [2007,mastersthesis] bibtex
    V. Kannan, "Optimisation of Coupling Facility Structures for DB2 Data-sharing," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{KANNAN2007,
      author = {Venkatesh Kannan},
      title = {Optimisation of Coupling Facility Structures for DB2 Data-sharing},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = May, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    A. Knorr, "Modellierungsmethoden fr Property-Driven Development," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{KNORR_2007,
      author = {Arne Knorr},
      title = {Modellierungsmethoden fr Property-Driven Development},
      type = {Diploma Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Jan, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    L. Bustamente, "Development of a Service Oriented Architecture (SOA)," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{BUSTAMENTE2007,
      author = {Luis Bustamente},
      title = {Development of a Service Oriented Architecture (SOA)},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Apr, year = {2007},
      }
  • [2007,mastersthesis] bibtex
    E. Tibrea, "Definition of a tooling concept for modeling and building utility computing solutions," Master’s Dissertation , Hamburg, Germany, 2007.
    @mastersthesis{TIBREA2007,
      author = {Elena Tibrea},
      title = {Definition of a tooling concept for modeling and building utility computing solutions},
      type = {Master Thesis},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = May, year = {2007},
      }
  • [2005,mastersthesis] bibtex
    B. Gruschko, "Service Oriented Modeling of a Maintenance Process in the Aviation Industry," Master’s Dissertation , Hamburg, Germany, 2005.
    @mastersthesis{GRUSCHKO_2005,
      author = {Boris Gruschko},
      title = {Service Oriented Modeling of a Maintenance Process in the Aviation Industry},
      type = {Diploma Thesis} school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      year = {2005},
      month = {October}
    }

Supervised project works (German Studienarbeit)

  • [2008,techreport] bibtex
    R. Batashov, "Importance of Business Rules and Business Events for Behaviour Modeling," , Hamburg, Germany, Project Work , 2008.
    @techreport{BATASHOV2008,
      author = {Roman Batashov},
      title = {Importance of Business Rules and Business Events for Behaviour Modeling},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      year = {2008},
      month = {March}
    }
  • [2008,techreport] bibtex
    S. Goronova, "Facing integration problems in Nokia-Siemens-Networks," , Hamburg, Germany, Project Work , 2008.
    @techreport{GORONOVA2008,
      author = {Stanislava Goronova},
      title = {Facing integration problems in Nokia-Siemens-Networks},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      year = {2008},
      month = {March}
    }
  • [2008,techreport] bibtex
    A. Izmaylova, "Composition and Decomposition in behaviour specifications," , Hamburg, Germany, Project Work , 2008.
    @techreport{IZMAYLOVA2008,
      author = {Anastasia Izmaylova},
      title = {Composition and Decomposition in behaviour specifications},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      year = {2008},
      month = {March},
      }
  • [2008,techreport] bibtex
    A. Turlov, "Using model-to-model transformations for validation of BPEL in TLA+," , Hamburg, Germany, Project Work , 2008.
    @techreport{TURLOV2008,
      author = {Andrey Turlov},
      title = {Using model-to-model transformations for validation of BPEL in TLA+},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      year = {2008},
      month = {March}
    }
  • [2007,techreport] bibtex
    H. Klimek, "Transformations of PDD Models to Formal Specifications," , Hamburg, Germany, Project Work , 2007.
    @techreport{KLIMEK2007,
      author = {Helge Klimek},
      title = {Transformations of PDD Models to Formal Specifications},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Jun, year = {2007},
      }
  • [2007,techreport] bibtex
    A. Ghitescu, "Performance evaluation of JMX models," , Hamburg, Germany, Project Work , 2007.
    @techreport{GHITESCU2006,
      author = {Anca Ghitescu},
      title = {Performance evaluation of JMX models},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Mar, year = {2007},
      }
  • [2007,techreport] bibtex
    T. Hirsch, "Entwicklung eines Multi-Agenten-Systems," , Hamburg, Germany, Studienarbeit , 2007.
    @techreport{HIRSCH2007,
      author = {Thomas Hirsch},
      title = {Entwicklung eines Multi-Agenten-Systems},
      type = {Studienarbeit},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Apr, year = {2007},
      }
  • [2007,techreport] bibtex
    M. D. Nguyen, "EMF based frontend for TLASany," , Hamburg, Germany, Project Work , 2007.
    @techreport{NGUYEN2007,
      author = {Minh Dan Nguyen},
      title = {EMF based frontend for TLASany},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Jul, year = {2007},
      }
  • [2006,techreport] bibtex
    P. Golibrzuch, "Property-Driven Development applied: Service Prototyping in the Aviation Industry," , Hamburg, Germany, Project Work , 2006.
    @techreport{GOLIBRZUCH_2006,
      author = {Peter Golibrzuch},
      title = {Property-Driven Development applied: Service Prototyping in the Aviation Industry},
      type = {Project Work},
      school = {Hamburg University of Technology},
      address = {Hamburg, Germany},
      month = Jun, year = {2006},
     

Organized events

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

Profile

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)

Profile

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…

Tags: , , , , , , ,