- Andy Chou (Coverity)
- Byron Cook (Microsoft Research Cambridge)
- Dennis Dams (Alcatel-Lucent)
- Ansgar Fehnker (NICTA)
- David Hardin (Rockwell Collins)
- Joost-Pieter Katoen (RWTH Aachen University)
- Thomas Kropf (Robert Bosch GmbH)
- Gerald Lüttgen (York)
- John Matthews (Galois)
- Tobias Nipkow (TUM)
- Michael Norrish (NICTA)
- Wolfgang Paul (Saarbruecken)
- Jan Peleska (University of Bremen)
- Alexander Pretschner (ETH Zürich)
- Kai Richter (Symtavision GmbH)
- Zhong Shao (Yale)
- Hendrik Tews (Nijmegen)
- Stavros Tripakis (Cadence Research Labs)
- Carsten Weise (RWTH Aachen University)
|
|