Projects per year
Organisation profile
Organisation profile
The THIS line is researching a multi-faceted approach based on fourinterconnected research lines, each contributing to a comprehensive strategy.
- The Software Engineering line focuses on enhancing software reliability through rigorous testing and formal verification methods.
- The Security & Privacy line aims to fortify software and computing systems against breaches, emphasizing measures for preventing, detecting, and defending against security and privacy threats.
- The Artificial Intelligence line explores the responsible, safe, and efficient development of AI systems, particularly investigating how AI can further support and automate aspects of software engineering and security.
- The Computer Science Education line conducts research supporting the teaching and learning of computer science and digital skills, with a focus on programming, student-related factors, and digital literacy.
Together, these lines form a robust and interdisciplinary network, striving not only to advance the practical aspects of software engineering but also to ensure the safe, secure, and enlightened development of future computing systems, while shaping a new generation of computer science professionals well-prepared in the latest technologies and methodologies.
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
-
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
-
Data for: The influence of competing social and symbolic cues on observers’ gaze behaviour
Hermens, F. (Creator), Open Science Framework, 5 Apr 2024
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
Jonker, H. (Recipient) & van der Meer, V. (Recipient), 2023
Prize: Prize (including medals and awards) › Academic
-
Best paper award at DFRWS-EU 2024
Jonker, H. (Recipient), van der Meer, V. (Recipient), van den Bos, J. (Recipient) & Dassen, L. (Recipient), 2024
Prize: Prize (including medals and awards) › Academic
-
Best paper award iFM 2022
de Gouw, S. (Recipient), 2022
Prize: Prize (including medals and awards) › Academic
Activities
-
International Journal of Human-Computer Interaction (Journal)
Hermens, F. (Peer reviewer)
2024 → …Activity: Publication peer-review and editorial work types › Editorial work journal › Academic
-
Learner empowerment using Generative AI
Rahimi, E. (Speaker)
15 Feb 2024Activity: Talk or presentation types › Conference contribution (without a publication) › Academic
-
PhD Co-supervisor
Roubtsova, E. (Co-supervisor), Joosten, S. (Supervisor), Roelens, B. (Co-supervisor), van de Wetering, R. (Assessment committee member), Vanderfeesten, I. (Assessment committee member) & Proper, H. (Assessment committee member)
23 Nov 2024Activity: PhD supervision and PhD examination types › PhD examination › 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