Research output per year
Research output per year
Organisation profile
Our research concerns the study and development of rigorous methods for ensuring the reliability of software systems. This is a scientific and societal challenge, which we address from a number of different angles, exploiting concepts and theories from discrete mathematics and logic.
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Fundamental Computing 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
-
Ivan Bliznets, PhD
- Faculty of Science and Engineering, Fundamental Computing - Universitair docent
Person: Scientific Staff
-
Anton Chernev, BSc
- Faculty of Science and Engineering, Fundamental Computing - Promovendus
Person: Scientific Staff
-
Dan Frumin, PhD
- Faculty of Science and Engineering, Fundamental Computing - Universitair docent
Person: Scientific Staff
-
Comparing session type systems derived from linear logic
van den Heuvel, B. & Pérez, J. A., Jan-2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 26 p., 101004.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile36 Downloads (Pure) -
Propositional Dynamic Logic has Craig Interpolation: A tableau-based proof
Borzechowski, M., Gattinger, M., Hansen, H. H., Ramanayake, R., Dalmas, V. T. & Venema, Y., 17-Mar-2025, (Submitted) arXiv, 97 p.Research output: Working paper › Preprint › Academic
File1 Downloads (Pure) -
Waitfree linearization of an arbitrary data object
Hesselink, W. H., 18-Mar-2025, (Accepted/In press) In: Formal Aspects of Computing.Research output: Contribution to journal › Article › Academic › peer-review
Activities
-
Dagstuhl Seminar 25141: Categories for Automata and Language Theory
Hansen, H. H. (Contributor)
31-Mar-2025 → 4-Apr-2025Activity: Organising and attending an event › Attending an event › Academic
-
Steering Committee Workshop on Logic, Language, Information and Computation (WoLLIC) (External organisation)
Hansen, H. H. (Member of board)
7-Jul-2024 → …Activity: Membership › Academic
-
Datasets
-
Agent-based model described in journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-Jan-2022
DOI: 10.4121/18865415.v1, https://data.4tu.nl/articles/_/18865415/1
Dataset
-
Supplementary data for "The effect of group decisions in heat transitions: An agent-based approach"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-Jan-2022
DOI: 10.4121/18865385.v1
Dataset
-
Workbook with calculations for journal article "The effect of group decisions in heat transitions: An agent-based approach"
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 30-Mar-2022
DOI: 10.4121/19448693.v1, https://data.4tu.nl/articles/dataset/Workbook_with_calculations_for_journal_article_The_effect_of_group_decisions_in_heat_transitions_An_agent-based_approach_/19448693/1
Dataset
Press/Media
-
Error-free computer programs thanks to math and logic
09/12/2024
1 item of Media coverage
Press/Media: Public Engagement Activities › Popular
-
The power of logic in computation
Hansen, H. H., Perez Parra, J. & Frumin, D.
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional
-
Research minute - Young Academy Groningen
03/09/2019
1 Media contribution
Press/Media: Public Engagement Activities › Popular
Prizes
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, J. (Recipient), Jun-2018
Prize: Fellowship awarded competitively › Academic