Projects per year
Organisation profile
Layman's description
The Faculty of Science harbors an exciting mix of computer scientists, information scientists and environmental scientists, aiming to have an impact on the digital society and to address some of the grand challenges faced by society.
The research within the Faculty of Sciences is organized within three departments:
Researchers of the Faculty of Sciences contribute to following research programs:
- Towards High-Quality and Intelligent Software (THIS)
- Advancing Information Science (AIS)
- Learning and Innovation for Resilient Social-Ecological Systems (LIRSS)
Fingerprint
Dive into the research topics where Faculty of 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
-
Natasha Alechina
- Department of Computer Science - Full Professor
- Research Program Towards High-quality and Intelligent Systems (THIS) - Full Professor
Person: Academic
-
Samaneh Bagheri
- Research Program Creating, Analyzing and Managing high-quality Information (CAMINO) - Lecturer
- Department of Information Science - Lecturer
Person: Academic
-
Erik Barendsen
- Research Program Towards High-quality and Intelligent Systems (THIS) - Full Professor
- Department of Computer Science - Full Professor
Person: Honorary staff
-
BGG: BlueGreen Governance
Beunen, R. (Project lead), Mafaziya Nijamdeen, F. (Project team member) & Löhr, A. (Project team member)
1/01/24 → 31/12/27
Project: Research
-
'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
-
Drop by Drop: Facilitating the Energy-saving Behavior of Smart House/Office Inhabitants using AI and Gamification
Klemke, R. (PI), Iren, D. (CoI) & Peters, G.-J. Y. (CoI)
1/07/22 → 1/07/26
Project: Research
-
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
-
Grant application process Dataset
Roubtsova, E. (Supervisor) & Wiersma, N. (Creator), Open Universiteit Nederland, 12 Oct 2018
DOI: 10.17026/dans-x5s-qvhp, https://doi.org/10.17026/dans-x5s-qvhp
Dataset
-
Data from employment recruiting agency
Berk, Y. (Creator) & Roubtsova, E. (Creator), DANS EASY, 30 Aug 2021
Dataset
-
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
Prizes
-
_ Top cited Article 2022-2023
Caniëls, M. C. J. (Recipient), de Weerd - Nederhof, P. (Recipient), Hatak, I. (Recipient) & Kuijpers, K. J. C. (Recipient), 2024
Prize: Prize (including medals and awards) › Academic
File -
Best Academic paper award
van de Wetering, R. (Recipient), 2 Sept 2021
Prize: Prize (including medals and awards) › Academic
File -
Beste Kinderklimaatboek 2022-2023
Bakker, E. (Recipient) & Ivens, W. (Recipient), 24 Jun 2024
Prize: Prize (including medals and awards) › Popular
File
Activities
-
33rd EACSL Annual Conference on Computer Science Logic 2025 (Event)
Moerman, J. (Peer reviewer)
7 Oct 2024Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
The International Workshop on the Foundations and Applications of Capabilities in Enterprises, and Transformations (Event)
Roubtsova, E. (Peer reviewer)
3 Dec 2024Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
32nd EACSL Annual Conference for Computer Science Logic
Kappé, T. (Member of program committee)
19 Feb 2024 → 23 Feb 2024Activity: Attending or organising an event types › Organising an event › Academic
Press/Media
-
'Ingrijpende' Raad van State-uitspraak wederom tegenvaller in stikstofdossier
20/12/24
1 Media contribution
Press/Media › Popular
-
In conflict om de leliebollenteelt bepaalt de rechter, in plaats van de overheid
12/12/24
1 Media contribution
Press/Media › Popular
-
Van koploper tot ontloper; zo omzeilt Nederland natuurbescherming
16/10/24
1 Media contribution
Press/Media: Public Engagement Activities › Popular