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
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.
Network
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
-
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 -
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 -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., 23 Jun 2022, In: Dagstuhl Artifacts Series. 8, 2, p. 19:1-19:4 4 p., 19.Research output: Contribution to journal › Article › 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
-
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
-
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
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
-
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming
Jesse Heyninck (Speaker)
21 Jul 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Possibilistic logic, argumentation and conditionals
Jesse Heyninck (Invited speaker)
24 Aug 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Cognitive Aspects of Knowledge Representation
Jesse Heyninck (Organiser), Thomas Meyer (Organiser), Matthias Thimm (Organiser), Gabriele Kern-Isberner (Organiser) & Marco Ragni (Organiser)
23 Jul 2022Activity: Attending or organising an event types › Organising an event › Academic
Press / Media
-
-
-
Waarom privacy zo belangrijk is bij de nieuwe corona-app
8/07/20
1 Media contribution
Press/Media › Popular