Projects per year
Organisation profile
Organisation profile
The research programme of the Department of Computer Science aims (broadly stated) to improve computing's effects upon society.
The research of the department of Computer Science is executed in the context of the multidisciplinary research programmes of the OU, specifically within the Research Program Towards High-Quality and Intelligent Software (THIS). It is composed of four program lines:
- Software Quality. This program line focuses on quality assurance techniques for software systems. Research concentrates on techniques for, or based on, automated testing, theorem proving, model checking, run-time verification and static analysis.
- Security & Privacy. This program line focuses on security of software and computer systems, and privacy-by-design.
- Artificial Intelligence. This program line focuses on methods for artificial intelligence (such as Bayesian models, machine learning and deep learning), responsible AI, and applications (smart services).
- Teaching & Learning. This program line focuses on learning-supporting tools and on computing education.
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Natasha Alechina
- Department of Computer Science - Full Professor
- Research Program Towards High-quality and Intelligent Systems (THIS) - Full Professor
Person: Academic
-
Erik Barendsen
- Research Program Towards High-quality and Intelligent Systems (THIS) - Full Professor
- Department of Computer Science - Full Professor
Person: Honorary staff
-
OpenEU: The learner-centred, inclusive, digital and green Open European University for the strengthening of the European Higher Education Area
Brouns, F. (Project team member), Semeijn, J. (Project team member), Lansu, A. (Project team member), Hooijer, J. (Project team member), Curseu, P. (Project team member), de Weerd - Nederhof, P. (Project team member), Eshuis, J. (Project team member), Jacobs, N. (Project team member), Quint - Fens, M. (Project team member), Caniëls, M. C. J. (Project team member), Rydin Gorjão, L. (Project team member), Lambrechts, W. (Project team member), Vos, T. (Project team member), Radix, L. (Project team member) & Perez Salgado, P. (Project team member)
1/12/24 → 30/09/28
Project: Other
-
PersOn: Explainable, Maintainable, and Trustworthy Decision Support Systems for Personalised Care in Oncology
Hommersom, A. (CoI) & Bolt, J. (Project team member)
1/05/23 → 1/05/28
Project: Research
-
-
Augmenting human service agents with intelligent technologies
Waelbers, B. M. L., Henkel, A. P. & Bromuri, S., 16 Jan 2026, (E-pub ahead of print) In: Journal of Service Management. 24 p.Research output: Contribution to journal › Book/Film/Article review › Academic
Open Access -
Conditional Syntax and Semantic Splittings of Strongly and Weakly Consistent Belief Bases
Beierle, C., Spiegel, L.-P., Haldimann, J., Wilhelm, M., Heyninck, J. & Kern-Isberner, G., 23 Apr 2026, (E-pub ahead of print) In: European Journal on Artificial Intelligence. 30 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Connecting File Timestamps: A Formal Approach
Hornung, L., Jonker, H. & van Beek, H., 2026, Proceedings Of The Digital Forensics Doctoral Symposium, Dfds 2026. ACM Digital Library, p. 1-7 7 p. 1Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Datasets
-
-
Data for: Hands can play equal roles in bimanual single-object rotations
Hermens, F. (Creator), Open Science Framework, 19 Jan 2026
DOI: 10.17605/OSF.IO/8GAW7, https://osf.io/8gaw7/
Dataset
-
Examples from paper "Constraint Formalization for Automated Assessment of Enterprise Models".
Roubtsova, E. (Creator), Joosten, S. (Creator) & Haddouchi, E. M. (Creator), DANS EASY, 23 Jun 2022
Dataset
Prizes
-
Anja Oskamp award
Waelbers, B. (Recipient), 2026
Prize: Prize (including medals and awards) › Academic
-
OU Wetenschapsprijs
Maathuis, C. (Recipient), 25 Sept 2025
Prize: Prize (including medals and awards) › Academic
-
Activities
-
30th Annual Conference on Innovation and Technology in Computer Science Education (Event)
Rahimi, E. (Peer reviewer)
30 Jun 2025 → 2 Jul 2025Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
5th PROMIS-ES research day
Roelens, B. (Organiser), Curier, L. (Organiser), Groen, L. (Organiser), Heyninck, J. (Organiser), Kamminga, P. (Organiser) & Sheikh Alishahi , M. (Organiser)
29 Nov 2025Activity: Attending or organising an event types › Organising an event › Academic
-
Generative AI in CS education
Rahimi, E. (Organiser) & Alpár, G. (Organiser)
11 Jun 2025Activity: Attending or organising an event types › Organising an event › Academic
Press/Media
-
Waarom kunnen robots niet het 'Ik ben geen robo'-vakje aanvinken?
29/07/24
1 Media contribution
Press/Media › Popular
-
-
Experiment met kleiner stembiljet, maar waarom niet elektronisch stemmen? 'Echt wat technische doorbraken voor nodig'
11/03/24
1 Media contribution
Press/Media › Popular