Profielen
- 23 resultaten
Zoekresultaten
-
Rodin Aarssen, MSc
- Mathematics and Computer Science, Formal System Analysis - Promovendus
- Mathematics and Computer Science, Software Engineering and Technology - Promovendus
Persoon: Prom. : Promovendus
-
Jore J. Booy
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
-
Mark S. Bouwman
- Mathematics and Computer Science, Formal System Analysis - ex Promovendus
Persoon: Prom. : Promovendus
-
Olav Bunte
Persoon: OWP : Docent / Onderzoeker
-
Rick Erkens, MSc
Persoon: OWP : Docent / Onderzoeker
-
Tom T.P. Franken
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
-
J.H. (Herman) Geuvers
Persoon: OWP : Docent / Onderzoeker
-
Louis C.M. van Gool
- Mathematics and Computer Science, Formal System Analysis - Onderzoeker
- Mathematics and Computer Science, Algorithms and Logics for Verification - Onderzoeker
Persoon: OWP : Docent / Onderzoeker
-
Jan Friso Groote
- Mathematics and Computer Science, Formal System Analysis - Hoogleraar
- EAISI Foundational - Hoogleraar
- EAISI High Tech Systems - Hoogleraar
- Mathematics and Computer Science, Formal System Analysis - Hoogleraar
Persoon: HGL : Hoogleraar
-
David N. Jansen
- Mathematics and Computer Science, Formal System Analysis - Onderzoeker
Persoon: OWP : Docent / Onderzoeker
-
Kevin H.J. Jilissen
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
-
Jeroen J.A. Keiren
- Mathematics and Computer Science, Formal System Analysis - Universitair Docent
Persoon: UD : Universitair Docent
-
Maurice Laveaux, MSc
- Mathematics and Computer Science, Algorithms and Logics for Verification - Ontwikkelaar ICT
- Mathematics and Computer Science, Formal System Analysis - Ontwikkelaar ICT
Persoon: OBP : Ondersteunend en Beheerspersoneel
-
S.P. (Bas) Luttik
- Mathematics and Computer Science, Formal System Analysis - Universitair Hoofddocent
- EAISI Foundational - Universitair Hoofddocent
Persoon: UHD : Universitair Hoofddocent
-
Jan Martens, MSc
- Mathematics and Computer Science, Formal System Analysis - ex Promovendus
Persoon: Prom. : Promovendus
-
Rob Nederpelt
- Mathematics and Computer Science, Formal System Analysis - Onderzoeker
Persoon: OWP : Docent / Onderzoeker
-
Flip van Spaendonck
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
-
Anna Stramaglia, MSc
- Mathematics and Computer Science, Formal System Analysis - Promovendus
Persoon: Prom. : Promovendus
-
Ferry Timmers
- Mathematics and Computer Science, Formal System Analysis - ex Promovendus
Persoon: Prom. : Promovendus
-
Erik P. de Vink
- Mathematics and Computer Science, Formal System Analysis - Universitair Hoofddocent
- EAISI High Tech Systems - Universitair Hoofddocent
Persoon: UHD : Universitair Hoofddocent
-
J.W. (Wieger) Wesselink
- Mathematics and Computer Science, Formal System Analysis - Ontwikkelaar ICT
- Mathematics and Computer Science, Uncertainty in Artificial Intelligence - Ontwikkelaar ICT
Persoon: OBP : Ondersteunend en Beheerspersoneel
-
Tim A.C. Willemse
- Mathematics and Computer Science, Formal System Analysis - Universitair Hoofddocent
- Mathematics and Computer Science, Algorithms and Logics for Verification - Universitair Hoofddocent
- EAISI High Tech Systems - Universitair Hoofddocent
Persoon: UHD : Universitair Hoofddocent
-
Hans Zantema
- Mathematics and Computer Science, Formal System Analysis - Onderzoeker
- EAISI High Tech Systems - Onderzoeker
- EAISI Foundational - Onderzoeker
Persoon: OWP : Docent / Onderzoeker