
Researcher / Software Engineer at Microsoft
Hamburg Area, Germany

Researcher / Software Engineer at Microsoft
Hamburg Area, Germany
Distributed Systems, Enterprise Systems, Multi-Tier Architectures, RCP, Formal Methods
(Public Company; MSFT; Computer Software industry)
January 2009 — Present (7 months)
Development of new tools for TLA+
(Government Agency; Research industry)
October 2008 — December 2008 (3 months)
Work on TLA+ Tools in the Joint MS Research INRIA Lab
(Public Company; 1001-5000 employees; Airlines/Aviation industry)
July 2006 — September 2008 (2 years 3 months)
Task definition, analysis and design of enterprise IT systems for a leading aircraft maintanence, repair and overaul provider. Development of multi-tier java-based solutions. Project management and mentorship.
(Educational Institution; 1001-5000 employees; Research industry)
June 2005 — September 2008 (3 years 4 months)
A research fellow postion including an significant amount of educational activities. The subject of research was the development of a modeling approach for distributed application in virtual enterprises. In general, this turned out to be a work on definition on what is SOA, how it can be implemented. In order to be able to address the key characteristics of SOA a modeling language (and the mothodology for its application) has been developed.
(Public Company; 1001-5000 employees; Information Technology and Services industry)
June 2004 — July 2006 (2 years 2 months)
Task definition, analysis and design of enterprise IT systems for a leading aircraft maintanence, repair and overaul provider. Development of multi-tier java-based solutions. Project management and mentorship.
(Public Company; 1-10 employees; Computer Software industry)
September 2001 — June 2004 (2 years 10 months)
(Education Management industry)
1999 — 2000 (1 year)
Dipl. Ing , Computer Engineer , 1999 — 2005
technology, music, photography, chess
GI e.V.