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 |
