Project Team

A successful project requires many people to play many roles. Some members write code or documentation, while others are valuable as testers, submitting patches and suggestions.

The project team is comprised of Members and Contributors. Members have direct access to the source of a project and actively evolve the code-base. Contributors improve the project through submission of patches and suggestions to the Members. The number of Contributors to the project is unbounded. Get involved today. All contributions to the project are greatly appreciated.


The following is a list of developers with commit privileges that have directly contributed to the project in one way or another.

Image Id Name Email Organization Organization URL Roles
mtf90 Markus Frohme TU Dortmund, Chair for Programming Systems Developer, Maintainer
falkhowar Falk Howar TU Dortmund, Chair for Software Engineering Developer
misberner Malte Isberner - - Developer (inactive)


The following additional people have contributed to this project through the way of suggestions, patches or documentation.

Image Name Email Organization Organization URL Roles
Stephan Windmüller - - Developer
Maik Merten - - Developer
Oliver Bauer - - Developer
Jeroen Meijer University of Twente, Formal Methods and Tools Developer