Projects per year
Organization 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
Network
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
-
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
-
Toward a safe and resilient city: Investigating the dynamics of police-bystander conflicts using advanced technologies
van Dam, K., Proost, K., van Dijke, R., Malsch, M., Maathuis, C., van Vuuren, T., Rosegaard, M., Kamphuis, W., Delahaij, R. & van Bruchem, M.
1/06/21 → 1/06/25
Project: PhD project
-
ABE Squared: Accurately Benchmarking Efficiency of Attribute-Based Encryption
Venema, M., de la Piedra, A. & Alpár, G., 15 Feb 2022, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2022, 2, p. 192-239 48 p.Research output: Contribution to journal › Conference Article in journal › Academic › peer-review
Open Access -
An agent-based approach to automated game testing: an experience report
Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
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
-
Data from an experiment comparing restricted and elaborated feedback
Lodder, J. (Creator), Mendeley Data, 2 Apr 2019
DOI: 10.17632/4wdj3b2t5g.1, https://data.mendeley.com/datasets/4wdj3b2t5g
Dataset
-
Metadata record for: Aachen-Heerlen annotated steel microstructure dataset
Iren, D. (Contributor), Krupp, U. (Contributor), Gorfer, J. (Contributor), Wesselmecking, S. (Contributor), Pujar, G. (Contributor), Bromuri, S. (Contributor) & Ackermann, M. (Contributor), figshare, 25 May 2021
DOI: 10.6084/m9.figshare.14045789.v1, https://doi.org/10.6084%2Fm9.figshare.14045789.v1
Dataset
Prizes
-
-
Best Paper Award at AIMA4EDU workshop at IJCAI'19.
Di Mitri, Daniele (Recipient), 11 Aug 2019
Prize: Prize (including medals and awards) › Academic
-
Best paper award ESOCC 2017
de Gouw, Stijn (Recipient), 2017
Prize: Prize (including medals and awards) › Academic
Activities
-
Machine learning and deep learning for the analysis of behavioral data
Frouke Hermens (Speaker)
26 Jan 2023Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Verantwoorde AI voor gemeenten
Reijer Passchier (Organiser), Vera Claassens (Organiser), Martine Hermans (Organiser) & Martijn van Otterlo (Organiser)
7 Feb 2023Activity: Attending or organising an event types › Organising an event › Professional
-
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
-