Other
Full professor
prof.dr.ir. M. Aksit (Mehmet)prof.dr.ir. H.J. Broersma (Hajo)
prof.dr.ir. A. Rensink (Arend)
prof.dr. M.I.A. Stoelinga (Mariëlle)
Full professor, part-time
prof.dr. H. Brinksma (Ed)prof.dr.ir. J.P. Katoen (Joost-Pieter)
prof.dr. J.C. van de Pol (Jaco)
Assistant professor
dr. T. van Dijk MSc (Tom)dr. A. Hartmanns (Arnd)
dr.ir. S.J.C. Joosten (Sebastiaan)
Phd students
ir. F.I. van der Berg (Freark)M. Chenariyan Nakhaee MSc (Muhammad)
F. Ehsan MSc (Fauzia)
S.A.M. Lathouwers MSc (Sophie)
M. Safari MSc (Mohsen)
D. van der Wal MSc (Djurre)
Full professor, head of group
prof.dr. M. Huisman (Marieke)Full Professor
Full professor
prof.dr.ir. M. Aksit (Mehmet)Guest Researcher
prof.dr.ir. H.J. Broersma (Hajo)Full Professor
prof.dr.ir. A. Rensink (Arend)Full Professor
prof.dr. M.I.A. Stoelinga (Mariëlle)Full Professor
Full professor, part-time
prof.dr. H. Brinksma (Ed)Professor UT & President TUHH
prof.dr.ir. J.P. Katoen (Joost-Pieter)Full Professor
prof.dr. J.C. van de Pol (Jaco)Full Professor
Associate professor
dr. A. Fehnker (Ansgar)Associate Professor
dr.ir. R. Langerak (Rom)Associate Professor
Assistant professor
dr. T. van Dijk MSc (Tom)Assistant Professor
dr. A. Hartmanns (Arnd)Assistant Professor
dr.ir. S.J.C. Joosten (Sebastiaan)Assistant Professor
Lecturer
Y.d.C. Barrios Fleitas MSc (Yeray)Lecturer
M. Gerhold MSc (Marcus)Lecturer
dr. J.C. van Staalduinen (Joke)Lecturer
Post-doc
dr. C.E. Budde (Carlos)Researcher
dr. R.E. Monti (Raúl)Researcher
Phd students
ir. F.I. van der Berg (Freark)PhD student
M. Chenariyan Nakhaee MSc (Muhammad)PhD student
F. Ehsan MSc (Fauzia)PhD student
S.A.M. Lathouwers MSc (Sophie)PhD student
M. Safari MSc (Mohsen)PhD student
D. van der Wal MSc (Djurre)PhD student
PhD (external)
Jorryt DijkstraPhD student
Qiannan ZhouPhD student
Kevin van der VlistPhD student
dr. A. Acun (Adil)PDEng
Zhiwei GuoPhD student
Philipp JakubeitPhD student
Scientific programmers
D.J. Huistra MSc (David)Supporting Staff
Secretary
I.C. den Hamer - Mulder (Ida)Secretary Chair Formal Methods and Tools
Full professor, head of group
prof.dr. M. Huisman (Marieke)Full Professor
Personal page Full professor
prof.dr.ir. H.J. Broersma (Hajo)Full Professor
Personal page prof.dr.ir. A. Rensink (Arend)Full Professor
Personal page prof.dr. M.I.A. Stoelinga (Mariëlle)Full Professor
Personal page Full professor, part-time
prof.dr. H. Brinksma (Ed)Professor UT & President TUHH
Personal page prof.dr.ir. J.P. Katoen (Joost-Pieter)Full Professor
Personal page prof.dr. J.C. van de Pol (Jaco)Full Professor
Personal page Associate professor
dr. A. Fehnker (Ansgar)Associate Professor
Personal page dr.ir. R. Langerak (Rom)Associate Professor
Personal page Assistant professor
dr.ir. S.J.C. Joosten (Sebastiaan)Assistant Professor
Personal page Lecturer
Y.d.C. Barrios Fleitas MSc (Yeray)Lecturer
Personal page dr. J.C. van Staalduinen (Joke)Lecturer
Personal page Post-doc
dr. C.E. Budde (Carlos)Researcher
Personal page Phd students
ir. F.I. van der Berg (Freark)PhD student
Personal page M. Chenariyan Nakhaee MSc (Muhammad)PhD student
Personal page F. Ehsan MSc (Fauzia)PhD student
Personal page S.A.M. Lathouwers MSc (Sophie)PhD student
Personal page M. Safari MSc (Mohsen)PhD student
Personal page PhD (external)
Scientific programmers
D.J. Huistra MSc (David)Supporting Staff
Personal page Secretary
I.C. den Hamer - Mulder (Ida)Secretary Chair Formal Methods and Tools
Personal page