Full professor
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.ir. M. Aksit (Mehmet)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)
dr. M. Gerhold (Marcus)
dr. J.C. van Staalduinen (Joke)
Post-doc
P. van den Bos MSc, PDEng (Petra)dr. C.E. Budde (Carlos)
C. Kolb MSc (Christina)
dr. R.E. Monti (Raúl)
Full professor, head of group
prof.dr. M. Huisman (Marieke)Full Professor
Full professor
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.ir. M. Aksit (Mehmet)Professor UT & at TOBB ET University, Turkey
prof.dr. H. Brinksma (Ed)Professor UT & President TUHH Germany
prof.dr.ir. J.P. Katoen (Joost-Pieter)Professor UT & RWTH Aachen University Germany
prof.dr. J.C. van de Pol (Jaco)Professor UT & Aarhus University Denmark
Associate professor
dr. A. Fehnker (Ansgar)Associate Professor
dr.ir. R. Langerak (Rom)Associate Professor
dr.ir. V. Zaytsev (Vadim)Associate Professor
Assistant professor
dr. T. van Dijk MSc (Tom)Assistant Professor
dr.ing. E.M. Hahn (Moritz)Assistant Professor
dr. A. Hartmanns (Arnd)Assistant Professor
Lecturer
dr. F. Ahmed (Faizan)Lecturer
Y.d.C. Barrios Fleitas MSc (Yeray)Lecturer
dr. M. Gerhold (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
C. Kolb MSc (Christina)Researcher
dr. R.E. Monti (Raúl)Researcher
Phd students
L. Armborst (Lukas)PhD Candidate
ir. F.I. van der Berg (Freark)PhD student
L.A. Jimenez Roa MSc (Lisandro)PhD Candidate
S.A.M. Lathouwers MSc (Sophie)PhD student
S.M. Nicoletti MSc (Stefano)PhD Candidate
R.B. Rubbens MSc (Bob)PhD Candidate
M. Safari MSc (Mohsen)PhD student
Ö.F.O. Sakar MSc (Ömer)PhD Candidate
D. van der Wal MSc (Djurre)PhD student
PhD (external)
Jorryt DijkstraPhD student
Kevin van der VlistPhD student
Adil Acun
Zhiwei GuoPhD student
X. Li (Xihe)Guest PhD Candidate
Scientific programmers
D.J. Huistra MSc (David)Supporting Staff
Secretary
I.C. den Hamer - Mulder (Ida)Secretary Chair Formal Methods and Tools
Former
Qiannan ZhouPhD student
Waheed Ahmad
Saeed Darabi
Fauzia Ehsan
Philipp JakubeitPhD student
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.ir. M. Aksit (Mehmet)Professor UT & at TOBB ET University, Turkey
Personal page prof.dr. H. Brinksma (Ed)Professor UT & President TUHH Germany
Personal page prof.dr.ir. J.P. Katoen (Joost-Pieter)Professor UT & RWTH Aachen University Germany
Personal page prof.dr. J.C. van de Pol (Jaco)Professor UT & Aarhus University Denmark
Personal page Associate professor
dr. A. Fehnker (Ansgar)Associate Professor
Personal page dr.ir. R. Langerak (Rom)Associate Professor
Personal page dr.ir. V. Zaytsev (Vadim)Associate Professor
Personal page Assistant professor
dr.ing. E.M. Hahn (Moritz)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
L. Armborst (Lukas)PhD Candidate
Personal page L.A. Jimenez Roa MSc (Lisandro)PhD Candidate
Personal page S.A.M. Lathouwers MSc (Sophie)PhD student
Personal page S.M. Nicoletti MSc (Stefano)PhD Candidate
Personal page R.B. Rubbens MSc (Bob)PhD Candidate
Personal page M. Safari MSc (Mohsen)PhD student
Personal page Ö.F.O. Sakar MSc (Ömer)PhD Candidate
Personal page PhD (external)
Adil Acun
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 Former
Saeed Darabi
Fauzia Ehsan