 |
||||||||
| This is the Formal Methods Group as it used to work at the Institute for Computer Design and Fault Tolerance at the University of Karlsruhe. In the meantime, some of us spread out through the world, but you can still find our current homepages by clicking our names or our heads on the photo. |
| Michael Baldamus | |
| Kai Kapp | |
| Jorgos Logothetis | |
| Viktor Sabelfeld | |
| Klaus Schneider | |
| Tobias Schüle | |
| Roberto Ziller |
| T H E F M G S T A F F |
|
