Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Organisatieprofiel
Organisatieprofiel
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.
VN Doelstellingen voor duurzame ontwikkeling
In 2015 stemden de VN-lidstaten in met 17 wereldwijde duurzame ontwikkelingsdoelstellingen (Sustainable Development Goals, SDG's) om armoede te beëindigen, de planeet te beschermen en voor iedereen welvaart te garanderen. Ons werk draagt bij aan de volgende duurzame ontwikkelingsdoelstelling(en):
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Fundamentele Informatica actief is. Deze onderwerplabels komen uit het werk van de leden van deze organisatie. Samen vormen ze een unieke vingerafdruk.
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Profielen
-
Ivan Bliznets, PhD
- Faculty of Science and Engineering, Fundamentele Informatica - Universitair docent
Persoon: Wetenschappelijk Personeel
-
Anton Chernev, MSc
- Faculty of Science and Engineering, Fundamentele Informatica - Promovendus
Persoon: Wetenschappelijk Personeel
-
Dan Frumin, PhD
- Faculty of Science and Engineering, Fundamentele Informatica - Universitair docent
Persoon: Wetenschappelijk Personeel
-
Analytic Proofs for Tense Logic
Ciabattoni, A., Lang, T. & Ramanayake, R., 2026, Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (uitgave). Springer Science and Business Media Deutschland GmbH, blz. 220-237 18 blz. (Lecture Notes in Computer Science; vol. 15980 LNCS).Onderzoeksoutput › Academic › peer review
Open AccessBestand -
A Synthetic Reconstruction of Multiparty Session Types
Castro-Perez, D., Ferreira, F. & Jongmans, S. S., jan.-2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, blz. 1442-1470 29 blz.Onderzoeksoutput › Academic › peer review
Open AccessBestand -
Analytic Calculi for Logics of Indicative Conditionals
Rodrigues Greati, V., Marcelino, S., Pérez, M. M. & Rivieccio, U., 25-sep.-2025, (E-pub ahead of print) Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Springer, blz. 59-81 23 blz. (Lecture Notes in Computer Science; vol. 15980).Onderzoeksoutput › Academic › peer review
Open AccessBestand2 Downloads (Pure)
Activiteiten
-
18th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2026)
Hansen, H. H. (Member of scientific committee)
2-sep.-2025 → …Activiteit: Organising and contributing to an event › Academic
-
-
Craig Interpolation for PDL via Cyclic Tableaux
Hansen, H. H. (Speaker)
24-sep.-2025Activiteit: Academic presentation › Academic
Datasets
-
Workbook with calculations for journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava Guerrero, G. D. C. (Creator), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 1-apr.-2022
DOI: 10.4121/19448789.v2
Dataset
-
Supplementary data for 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, 31-jan.-2022
DOI: 10.4121/18865385.v2
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
Knipsels
-
Error-free computer programs thanks to math and logic
09/12/2024
1 item van Media-aandacht
Pers / media: Activiteiten met een maatschappelijk belang › Popular
-
The power of logic in computation
Hansen, H. H., Perez Parra, J. & Frumin, D.
19/04/2022
1 item van Media-aandacht
Pers / media: Overig › Professional
-
Research minute - Young Academy Groningen
03/09/2019
1 Mediabijdrage
Pers / media: Activiteiten met een maatschappelijk belang › Popular