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)
Lecturer
dr. F. Ahmed (Faizan)Y.d.C. Barrios Fleitas MSc (Yeray)
M. Gerhold MSc (Marcus)
dr. J.C. van Staalduinen (Joke)
Phd students
ir. F.I. van der Berg (Freark)M. Chenariyan Nakhaee MSc (Muhammad)
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)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
Lecturer
dr. F. Ahmed (Faizan)Lecturer
Y.d.C. Barrios Fleitas MSc (Yeray)Lecturer
M. Gerhold MSc (Marcus)Lecturer
dr. J.C. van Staalduinen (Joke)Lecturer
Post-doc
P. van den Bos MSc, PDEng (Petra)Researcher
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
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 Associate professor
dr. A. Fehnker (Ansgar)Associate Professor
Personal page dr.ir. R. Langerak (Rom)Associate Professor
Personal page Assistant professor
Lecturer
Y.d.C. Barrios Fleitas MSc (Yeray)Lecturer
Personal page dr. J.C. van Staalduinen (Joke)Lecturer
Personal page Post-doc
P. van den Bos MSc, PDEng (Petra)Researcher
Personal page dr. C.E. Budde (Carlos)Researcher
Personal page Phd students
M. Chenariyan Nakhaee MSc (Muhammad)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