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
Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
G Alpár
- Research Line Security and privacy (part of THIS program) - Senior Lecturer
- Research Line Teaching and learning (part of THIS program) - Senior Lecturer
- Department of Computer Science - Senior Lecturer
- Research Line Innovation (part of LIRS program) - Senior Lecturer
Person: Academic
-
Erik Barendsen
- Research Line Teaching and learning (part of THIS program) - Full Professor
- Department of Computer Science - Full Professor
Person: Honorary staff
-
Janneke Bolt, BFA
- Department of Computer Science - Lecturer
- Research Program Towards High-Quality and Intelligent Software (THIS) - Lecturer
Person: Academic
-
Comeniusbeurs Naar autisme-inclusief onderwijs
Stuurman, S., Alpár, G. & Pannekeet, K.
2/05/22 → 2/10/23
Project: Other
File -
Adoption of digital communication technology by vulnerable citizens in urban areas
Bolman, C., Lechner, L., Dohmen, D., Blok, G., Hommersom, A., Strikwerda, L. & Hengst, T.
1/10/21 → …
Project: Research
Research output
-
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns
Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Balanced-by-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2&3, p. 117-144 28 p.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
DOI: https://doi.org/10.17026/dans-zsj-7ypt
Dataset
-
Aachen-Heerlen Annotated Steel Microstructure Dataset
Pujar, G. (Contributor), Ackermann, M. (Contributor), Iren, D. (Creator), Krupp, U. (Creator), Bromuri, S. (Creator), Gorfer, J. (Creator) & Wesselmecking, S. (Creator), figshare, 19 May 2021
DOI: 10.6084/m9.figshare.c.5185004.v1, https://doi.org/10.6084%2Fm9.figshare.c.5185004.v1
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
Prizes
-
Best paper award
Jonker, Hugo (Recipient) & van der Meer, Vincent (Recipient), 2023
Prize: Prize (including medals and awards) › Academic
-
-
Best Paper Award at AIMA4EDU workshop at IJCAI'19.
Di Mitri, Daniele (Recipient), 11 Aug 2019
Prize: Prize (including medals and awards) › Academic
Activities
-
University of Cape Town
Jesse Heyninck (Visiting researcher)
1 Jul 2023 → 30 Jun 2028Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic
-
University of Warsaw
Tobias Kappé (Visiting researcher)
6 Feb 2023 → 10 Feb 2023Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic
-
Machines: Machinery and Automation (Journal)
Frouke Hermens (Peer reviewer)
2023Activity: Publication peer-review and editorial work types › Editorial work journal › Academic
Press/Media
-
-
Onderzoekers Open Universiteit geciteerd in belangrijke klimaatrapporten IPCC
Jetse Stoorvogel, Lisanne Groen, Gibran Vita Garza, Dave Huitema, Stijn Neuteleers & Harald Vranken
28/04/22
1 Media contribution
Press/Media: OU News Channel
-