The research efforts of the faculty of Computer Science are focused on four topics.

  1. Artificial intelligence & machine learning
  2. CS education 
    -    Software technology for learning and teaching
    -    CS education
    -    CS didactics
  3.  Formal verification & testing 
  4. Security and privacy 


Meet the topic teams and their expertise


Artificial intelligence & machine learning

Arjen Hommersom Arjen Hommersom
  • probabilistic graphical models
  • probabilistic logic programming
  • uncertainty reasoning
  • symbolic reasoning
  • AI in medicine
  • representation of medical knowledge
  • reasoning about medical knowledge
Clara Maathuis Clara Maathuis
  • AI and military cyber / information operations
  • social media manipulation
  • military technologies and conflict
  • machine Learning
  • responsible AI
  • artificial general intelligence
  • hybrid intelligence
Martijn van
	Otterlo Martijn van Otterlo
  • reinforcement learning
  • knowledge representation
  • responsible & explainable AI
  • ethics of algorithms
	Tempelman Frank Tempelman
  • machine learning for autonomous flight
  • machine learning for scheduling


CS education: Software Technology for learning and teaching

Johan Jeuring Johan Jeuring
  • Software Technology for learning and teaching
  • Design of automated exercise assistants
  • Serious games
  • Digital course support
  • Automated logic tutors
  • Design of interactive feedback tools for programming
  • Ask-Elle
Bastiaan Heeren Bastiaan Heeren
  • Intelligent domain-specific exercise assistants
  • improving the quality of type error messages
Josje Lodder Josje Lodder
  • Automated logic tutors


CS education: Computer Science education

Fenia Aivaloglou Fenia Aivaloglou
  • Software engineering research
  • Programming
  • Programming education
  • Spreadsheets
  • Systems security
Harrie Passier Harrie Passier
  • Software Quality in Education
  • Didactics of Computer Science
  • Feedback in e-learning tools
Sylvia Stuurman Sylvia Stuurman
  • Design for Change
  • Software Architecture
  • Design and programming
Alaaeddin Swidan Alaaeddin Swidan
  • Didactics for teaching block-based languages
  • Debugging for block-based languages
  • Computer Science didactics


CS education: Computer Science didactics

Erik Barendsen Erik Barendsen

Learning and teaching

  • teaching methodology
  • digital literacy
  • computational thinking
  • pedagogical content knowledge
  • context based education


  • modeling
  • lambda calculus
  • term and graph rewriting
  • typing systems
  • semantics
Ebrahim Rahimi Ebrahim Rahimi Teaching methodology


Formal Verification and Testing

Marko van Eekelen Marko van Eekelen

Tanja Vos Tanja Vos

Bernard van Gastel Bernard van Gastel

Stijn de Gouw Stijn de Gouw

Sung shik Jongmans Sung-shik Jongmans

Freek Verbeek Freek Verbeek

Pekka Aho Pekka Aho

Luc Edixhoven Luc Edixhoven

Olivia rodrigues Valdes Olivia Rodríguez Valdés


Security and privacy

Harald Vranken Harald Vranken
  • virtual security labs
  • (usable) security of on-line banking
  • botnet detection with deep-learning networks
  • governance of botnet detection
  • energy analysis of blockchain consensus algorithms
  • resilience of distributed networks
  • security of communication protocols for IoT
  • IoT in smart cities
	   Jonker Hugo Jonker
  • browser and phone fingerprinting
  • security protocol analysis
  • fraud detection
  • web vulnerability scanning
  • privacy and verifiability of electronic voting and auctions
  • web-privacy
  • smartphone-related privacy
  • context-driven privacy and security
  • privacy-by-default and enforced privacy
Greg Alpar Greg Alpár
  • attribute based credentials
  • cryptography
  • networking
  • mathematics education
  • privacy-preserving technologies
Fabian van den Broek Fabian van den Broek
  • Mobile communication security
  • privacy-preserving authorisation with IRMA
Arjan Kok Arjan Kok
  • Security
  • Computer graphics
  • Visualization
  • Virtual reality
Clara Maathuis Clara Maathuis
  • Detecting disinformation campaigns on social media
Sietse Ringers Sietse Ringers
  • Attribute-based credentials
  • privacy-friendly identity management
  • privacy-preserving authorisation with IRMA
  • polymorpghic encryption and pseudonymisation
Stefano Schivo Stefano Schivo
  • (cyber-)security
  • security in IoT
  • attack trees
  • safety-security interplay