Network
Tim A.C. Willemse
- Mathematics and Computer Science, Formal System Analysis - Associate Professor
- Mathematics and Computer Science, Algorithms and Logics for Verification - Associate Professor
- EAISI High Tech Systems - Associate Professor
Person: UHD : Associate Professor
Jan Friso Groote
- Mathematics and Computer Science, Formal System Analysis - Full Professor
- EAISI Foundational - Full Professor
- EAISI High Tech Systems - Full Professor
- Mathematics and Computer Science, Formal System Analysis - Full Professor
Person: HGL : Professor
J.W. (Wieger) Wesselink
- Mathematics and Computer Science, Formal System Analysis - ICT Developer
- Mathematics and Computer Science, Uncertainty in Artificial Intelligence - ICT Developer
Person: OBP : Supportive and management staff
Anton J. Wijs
- Mathematics and Computer Science, Software Engineering and Technology
- Mathematics and Computer Science, Software Engineering and Technology - Associate Professor
Person: UHD : Associate Professor
David N. Jansen
- Mathematics and Computer Science, Formal System Analysis - University Researcher
Person: OWP : University Teacher / Researcher
Erik P. de Vink
- Mathematics and Computer Science, Formal System Analysis - Associate Professor
- EAISI High Tech Systems - Associate Professor
Person: UHD : Associate Professor
Anna Stramaglia, MSc
- Mathematics and Computer Science, Formal System Analysis - Doctoral Candidate
Person: Prom. : doctoral candidate (PhD)
Michel A. Reniers
- Mechanical Engineering, Group Supervisory Control - Associate Professor
- Mechanical Engineering, Control Systems Technology - Associate Professor
Person: UHD : Associate Professor
S.P. (Bas) Luttik
- Mathematics and Computer Science, Formal System Analysis - Associate Professor
- EAISI Foundational - Associate Professor
Person: UHD : Associate Professor
Thomas Neele
- Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
- Mathematics and Computer Science, Formal System Analysis - Assistant Professor
Person: UD : Assistant Professor
Natalia Sidorova
- Mathematics and Computer Science, Process Analytics - Assistant Professor
- Mathematics and Computer Science, Process Analytics - Assistant Professor
- EAISI Health - Assistant Professor
Person: UD : Assistant Professor
Jore J. Booy, Msc
- Mathematics and Computer Science, Formal System Analysis - Doctoral Candidate
Person: Prom. : doctoral candidate (PhD)
Maurice Laveaux, MSc
- Mathematics and Computer Science, Algorithms and Logics for Verification - ICT Developer
- Mathematics and Computer Science, Formal System Analysis - ICT Developer
Person: OBP : Supportive and management staff
Olav Bunte
- Mathematics and Computer Science, Formal System Analysis - University Lecturer
Person: OWP : University Teacher / Researcher
Peter Fontana
External person
Ivo ter Horst
External person
Augusto Sampaio
External person
Thierry Lecomte
External person
Martyn Thomas
External person
F. Walderveen, van
External person
Y.L. Hwong
External person
Rod Chapman
External person
Rong Gu
External person
Lijun Zhang
External person
Cristina Seceleanu
External person
W.R. Cleaveland
External person
Kristin Yvonne Rozier
External person