Meet the Department of Computer Science
Full professors
 |
prof. dr. ir. Natasha Alechina professor of Safe and Responsible AI |
Safe and responsible AI | |
 |
prof. dr. Erik Barendsen professor of Didactics of CS |
|
|
 |
prof. dr. ir. Stef Joosten professor of Design of Information Systems |
Relation algebras |
|
 |
prof. dr. Tanja Vos professor of Software Engineering programme leader bachelor CS |
GUI-based testing |
Associate professor
 |
Stefano Bromuri |
Machine learning |
 |
dr. Bastiaan Heeren head of CS group |
Intelligent domain-specific exercise assistants |
 |
dr. Arjen Hommersom | Probabilistic graphical models Probabilistic logic programming Uncertainty reasoning Symbolic reasoning AI in medicine Representation of medical knowledge Reasoning about medical knowledge |
|
|
dr. ir. Sung-Shik Jongmans | Formal methods Concurrency |
 |
dr. ir. Harald Vranken programme leader master CS and master SE |
Virtual security labs |
Assistant professors
 |
dr. Fenia Aivaloglou | Software engineering research Programming Programming education Spreadsheets Systems security |
|
 |
dr. Mina Alishahi |
Machine learning |
|
 |
dr. Greg Alpár |
Attribute based credentials |
|
 |
dr. Fabian van den Broek |
Mobile communication security |
|
 |
dr. Murat Firat | ||
 |
dr. Stijn de Gouw |
Formal verification of programming libraries |
|
 |
dr. Frouke Hermens | Eye tracking Statistics Machine learning Research methods Data science |
|
 |
dr. Jesse Heyninck | Knowledge representation Formal argumentation Defeasible and non-monotonic reasoning |
|
 |
dr. ir. Hugo Jonker |
Browser and phone fingerprinting |
|
 |
dr. Tobias Kappé | ||
 |
dr. ir. Arjan Kok |
Security |
|
 |
dr. Clara Maathuis |
AI and military cyber / information operations |
|
 |
dr. Gideon Maillette de Buy Wenniger | Machine translation (syntax, morphology, semantics) Handwritten text recognition Deep learning Computer vision Scholarly document processing Machine learning |
|
 |
dr. Joshua Moerman | Formal methods Mathematics Automata learning |
|
|
dr. Nico Naus | Formal Methods Binary verification Functional Programming Programming Languages |
|
 |
dr. ir. Harrie Passier |
Software Quality in Education |
|
 |
dr. Ebrahim Rahimi | Teaching methodology | |
 |
dr. Ashish Sai | Distributed systems security analysis Privacy and security analysis of mobile applications Energy analysis of blockchain consensus algorithms Static source code analysis Architecture recovery |
|
 |
dr. Stefano Schivo |
(Cyber-)security |
|
 |
dr. Tim Steenvoorden | Programming languages Functional programming Compilers and interpreters Type systems |
|
 |
dr. ir. Sylvia Stuurman |
Design for Change |
|
 |
dr. ir. Alaaeddin Swidan |
Didactics for teaching block-based languages |
|
 |
dr. Daniel Stanley Tan | Defect detection Image forensics Crop pest and disease detection Creative AI |
|
 |
dr. Freek Verbeek | Formalisation & verification of binary code |
Lecturers
 |
Janneke Bolt | |
 |
drs. Wietze van der Molen | |
 |
dr. Nikè van Vugt-Hage |
PhD students
| Jos Craaijo, MSc | ||
 |
Niels Doorn, MSc | |
 |
Luc Edixhoven, MSc | Formal methods Formal language theory Choreographies |
 |
Lianne Hufkens, MSc | Testar |
 |
Parsa Karimi, MSc | |
 |
Daniel Spaniol, MSc | Program Analyses Low-level code Formal methods |
 |
Olivia Rodríguez Valdés, MSc | Testar |
External PhD students
- Raphaela Butz, MSc (supervised by Arjen Hommersom)
- Feng Luo Xi Chen, MSc (supervised by Stefano Bromuri and Marko van Eekelen)
- Francesco Gibellini, MSc (supervised by Stefano Bromuri)
- Benjamin Krumnow MSc (supervised by Hugo Jonker and Harald Vranken)
- Arjan Lamers, MSc (supervised by Marko van Eekelen and Sung-Shik Jongmans)
- ir. Vincent van der Meer (supervised by Hugo Jonker and Marko van Eekelen)
- ir. Ton Poppe (supervised by Arjen Hommersom and Hugo Jonker)
- Andreas Schuderer, magister (supervised by Stefano Bromuri)
- Martijn Stegeman, MSc (supervised by Erik Barendsen)
- Koen Weterings, MSC (supervised by Stefano Bromuri and Marko van Eekelen)