Netwerk
Jan Friso Groote
- Mathematics and Computer Science, Formal System Analysis - Hoogleraar
- EAISI Foundational - Hoogleraar
- EAISI High Tech Systems - Hoogleraar
Persoon: HGL : Hoogleraar
Jeroen J.A. Keiren
- Mathematics and Computer Science, Formal System Analysis - Universitair Docent
Persoon: UD : Universitair Docent
H. (Rik) Eshuis
- Industrial Engineering and Innovation Sciences, Information Systems IE&IS - Universitair Hoofddocent
Persoon: UHD : Universitair Hoofddocent
Thomas Neele
- Mathematics and Computer Science, Algorithms and Logics for Verification - Universitair Docent
Persoon: UD : Universitair Docent
Ferry Timmers
- Mathematics and Computer Science, Formal System Analysis - ex Promovendus
Persoon: Prom. : Promovendus
H. Hermanns
Externe Persoon: Externe persoon
Mariëlle A. Stoelinga
- University of Twente
- Radboud University Nijmegen
Externe Persoon: Externe persoon
Ernst Moritz Hahn
- Chinese Academy of Sciences
- Liverpool John Moores University
Externe Persoon: Externe persoon
Yong Li
- Chinese Academy of Sciences
- Ruhr University Bochum
- Graduate University of Chinese Academy of Sciences
Externe Persoon: Externe persoon
J. Berendsen
Externe Persoon: Externe persoon