You are here: Welcome to service-technology.org » People

People

Service-Technology currently combines the reasearch activities of the Theory of Programming Group (Humboldt-Universität zu Berlin, Germany) and the Theory of Programming Languages and Programming Group (Universität Rostock, Germany).

  • Dirk Fahland, PhD student, Berlin
    works on run-time adaptation of processes, formal semantics of services, and business process verification.
  • Christian Gierds, PhD student, Berlin
    works on adapter synthesis for services.
  • Kathrin Kaschner, PhD student, Rostock
    works on test-case generation for services.
  • Niels Lohmann, PhD student, Rostock
    works on diagnosis and correction of service models, and formal semantics of services.
  • Peter Massuthe, Post-Doc, Berlin
    works on characterization of partners using operating guidelines.
  • Stephan Mennicke, Student, Rostock
    works on the PNAPI.

  • Richard Müller, Student, Berlin
    works on adapter synthesis for services.

  • Olivia Oanea, Post-Doc, Rostock
    works on adapter synthesis for services.
  • Wolfgang Reisig, Professor, Berlin
    works on basic concepts concerning service models.
  • Christian Sura, Student, Rostock
    works on the PNAPI.

  • Jan Sürmeli, PhD Student, Berlin
    works on static analysis of services.

  • Christian Stahl, University Researcher, TU/e
    works on substitutability of services, formal semantics of services, and service verification.
  • Daniela Weinberg, PhD student, Berlin
    works on partner synthesis and efficient techniques for deciding controllability of services.
  • Karsten Wolf, Professor, Rostock
    works on computer-aided solutions concerning verification and synthesis of services; coordinates service-technology.org.

Partners (project collaboration or co-authorship)

Academia

  • Wil van der Aalst, Technische Universiteit Eindhoven, The Netherlands
  • Gero Decker, Hasso Plattner Institut, Germany
  • Kees van Hee, Technische Universiteit Eindhoven, The Netherlands
  • Oliver Kopp, Universität Stuttgart, Germany
  • Frank Leymann, Universität Stuttgart, Germany
  • Arjan Mooij, Technische Universiteit Eindhoven, The Netherlands
  • Chun Ouyang, Queensland University of Technology, Australia
  • Bernd-Holger Schlingloff, Fraunhofer FIRST and Humboldt-Universität zu Berlin, Germany
  • Alexander Serebrenik, Technische Universiteit Eindhoven, The Netherlands
  • Natalia Sidorova, Technische Universiteit Eindhoven, The Netherlands
  • Eric Verbeek, Technische Universiteit Eindhoven, The Netherlands
  • Marc Voorhoeve, Technische Universiteit Eindhoven, The Netherlands
  • Jan-Martijn van der Werf, Technische Universiteit Eindhoven, The Netherlands

Industry

  • Jana Köhler, IBM Research GmbH, Zurich, Switzerland
  • Dieter König, IBM Boeblingen Laboratory, Germany
  • Axel Martens, IBM TJ Watson Research Center, Hawthorne, NY, USA
  • Simon Moser, IBM Boeblingen Laboratory, Germany
  • Hagen Völzer, IBM Research GmbH, Zurich, Switzerland

Alumni

  • Jan Bretschneider
  • Robert Danitz
  • Janine Ott
  • Leonard Kern
  • Dennis Reinert
  • Martin Znamirowski