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
J.H. (Herman) Geuvers
- Mathematics and Computer Science, Formal System Analysis - University Lecturer
Person: OWP : University Teacher / Researcher