Team


The Smyle project is supported by Procope (2008)

The following research groups are participating in Smyle’s development:

MOVES, RWTH Aachen, Germany (Contact: Joost-Pieter Katoen, Carsten Kern)
LSV, CNRS & ENS Cachan, France (Contact: Benedikt Bollig)
Institut für Informatik, TU München, Germany          (Contact: Martin Leucker)

Programming staff:

Carsten Kern
Benedikt Bollig
Martin Leucker
David R. Piegdon (Student Assistant)
Stefan Schulz (Student Assistant)
Benjamin Zimmermann  (Student Assistant)

Web design:

Cathrin Niebel