Team

Volker Stolz
Høgskulen på Vestlandet, Bergen (NO)
Volker Stolz obtained his PhD on Runtime Verification from RWTH Aachen University, Germany. He worked in model-based software engineering and verification for several years at the United Nations University International Read More
Alexander Weiss
Accemic Technologies GmbH
Faustin Ahishakiye
Høgskulen på Vestlandet, Bergen (NO)
Alina G. Meresescu
Thales Systems Romania
Malte Schmitz
University of Lübeck
Albert Schulz
Accemic Technologies GmbH
Peter Tummeltshammer
Thales Austria
Peter Tummeltshammer has been with Thales since 2009, where he locally led EU funded projects and participated in various others as key researcher. In 2015 he took over the role Read More
Lukas Convent
University of Lübeck
Karl Jirek
Thales Austria
Member of a team developing fault tolerant systems, starting with Alcatel in 1986.
Daniel Thoma
University of Lübeck Project Leader
Prof. Dr. Martin Leucker
University of Lübeck Coordinator
Torben Scheffel
University of Lübeck  
Nina Strugalla
University of Lübeck Project Manager