iCIS
Department of
Software Science
↑
Home
Analysis and Verification
Theme description
Researchers
Papers
Courses
Projects
?
print
·
login
Home
»
AnalysisAndVerification
»
Researchers
Researchers
Staff members
dr.
Nils Jansen
(0,2fte)
dr.
Sebastian Junges
dr.
Cynthia Kop
dr.
Robbert Krebbers
vice department head
PhD students
Dr
Jules Jacobs
MSc
Linus Heck
MSc
Marc Hermes
ir.
Ike Mulder
MSc
Marck van der Vegt
X
