Projects per year
Organisation profile
Layman's description
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
-
Harm van Beek
- Department of Computer Science - Endowed Professor
- Research Program Towards High-quality and Intelligent Systems (THIS) - Endowed Professor
Person: Honorary staff
-
'Help! How do I study effectively?': How to implement a self-learning, artificially intelligent chatbot as a flexible study coach in an online learning environment
Joosten - ten Brinke, D. (PI), Vos, T. (PI), Camp, G. (CoI), van Otterlo, M. (CoI) & Debets, T. (Junior researcher)
1/09/22 → …
Project: Research
-
Adoption of digital communication technology by vulnerable citizens in urban areas
Bolman, C. (PI), Lechner, L. (CoI), Dohmen, D. (CoI), Blok, G. (CoI), Hommersom, A. (CoI), Strikwerda, L. (CoI) & Hengst, T. (Junior researcher)
1/10/21 → …
Project: Research
-
Toward a safe and resilient city: Investigating the dynamics of police-bystander conflicts using advanced technologies
van Dam, K. (PI), Proost, K. (CoI), van Dijke, R. (CoI), Malsch, M. (CoI), Maathuis, C. (CoI), van Vuuren, T. (CoI), Rosegaard, M. (CoI), Kamphuis, W. (CoI), Delahaij, R. (CoI) & van Bruchem, M. (Junior researcher)
1/06/21 → 1/06/25
Project: PhD project
Research output
-
Abstract Dialectical Frameworks are Boolean Networks
Heyninck, J., Knorr, M. & Leite, J., 2025, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15245 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
A Framework and Taxonomy for Characterizing the Applicability of Software Architecture Recovery Approaches: A Tertiary-Mapping Study
Qayum, A., Zhang, M., Colreavy, S., Chochlov, M., Buckley, J., Lin, D. & Sai, A. R., Jan 2025, In: Software-Practice & Experience. 55, 1, p. 100-132 33 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Analysis and formal specification of OpenJDK's BitSet: Proof files
Tatman, A. S., Hiep, H. D. A. & de Gouw, S., Apr 2025, In: Science of Computer Programming. 241, 103232.Research output: Contribution to journal › Article › Academic › peer-review
Datasets
-
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
-
Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors
Weeda, R. (Creator), Izu, C. (Creator), Kallia, M. (Creator) & Barendsen, E. (Creator), Zenodo, 19 Nov 2020
DOI: 10.1145/3428029.3428031, https://zenodo.org/record/8134038
Dataset
-
Data for: The influence of competing social and symbolic cues on observers’ gaze behaviour
Hermens, F. (Creator), Open Science Framework, 5 Apr 2024
Dataset
Prizes
-
Best paper award
Jonker, H. (Recipient) & van der Meer, V. (Recipient), 2023
Prize: Prize (including medals and awards) › Academic
-
-
Best Paper Award at AIMA4EDU workshop at IJCAI'19.
Di Mitri, D. (Recipient), 11 Aug 2019
Prize: Prize (including medals and awards) › Academic
Activities
-
PhD Co-supervision
Hommersom, A. (Co-supervisor)
29 Feb 2024Activity: PhD supervision and PhD examination types › PhD examination › Academic
-
Journal of Vision (Journal)
Hermens, F. (Peer reviewer)
2024 → …Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
Generative AI in CS education
Rahimi, E. (Organiser)
22 Feb 2024Activity: 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
-