Network
Jan Friso Groote
- Mathematics and Computer Science, Formal System Analysis - Full Professor
- EAISI Foundational - Full Professor
- EAISI High Tech Systems - Full Professor
Person: HGL : Professor
Jeroen J.A. Keiren
- Mathematics and Computer Science, Formal System Analysis - Assistant Professor
Person: UD : Assistant Professor
H. (Rik) Eshuis
- Industrial Engineering and Innovation Sciences, Information Systems IE&IS - Associate Professor
Person: UHD : Associate Professor
Thomas Neele
- Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
Person: UD : Assistant Professor
Ferry Timmers
- Mathematics and Computer Science, Formal System Analysis - Former Doctoral Candidate
Person: Prom. : doctoral candidate (PhD)
H. Hermanns
External person
Yong Li
- Chinese Academy of Sciences
- Ruhr-Universität Bochum
- University of Chinese Academy of Sciences
External person
J. Berendsen
External person