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, BSc
- 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
-
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 blz., 101004.Onderzoeksoutput › Academic › peer review
Open AccessBestand15 Downloads (Pure) -
Adding an implication to logics of perfect paradefinite algebras
Rodrigues Greati, V., Marcelino, S., Marcos, J. & Rivieccio, U., 2-okt.-2024, In: Mathematical structures in computer science. blz. 1-46 46 blz.Onderzoeksoutput › Academic › peer review
Open AccessBestand11 Downloads (Pure) -
Around Classical and Intuitionistic Linear Processes
Jaramillo, J. C., Frumin, D. & Pérez, J. A., sep.-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (uitgave). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 blz. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).Onderzoeksoutput › Academic › peer review
Open AccessBestand19 Downloads (Pure)
Activiteiten
-
PhD assessment committee of Atefeh Keshavarzi Zafarghandi
Hansen, H. H. (Member of Assessment Committee)
19-apr.-2022Activiteit: Examination, teaching and supervision external institution › Academic
-
14th Conference on Logic and the Foundations of Game and Decision Theory
Hansen, H. H. (Member of scientific committee)
11-mrt.-2022 → 22-jul.-2022Activiteit: Organising and contributing to an event › Academic
-
16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science
Hansen, H. H. (Chair/vice-chair of scientific committee)
1-jan.-2022 → …Activiteit: Organising and contributing to an event › Academic
Datasets
-
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 "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 31-jan.-2022
DOI: 10.4121/18865406
Dataset
-
Agent-based model described in journal article "An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions"
Nava-Guerrero, G.-D.-C. (Contributor), Hansen, H. H. (Contributor), Korevaar, G. (Contributor) & Lukszo, Z. (Contributor), 4TU.ResearchData, 28-jan.-2022
DOI: 10.4121/18865433.v1, https://data.4tu.nl/articles/_/18865433/1
Dataset
Knipsels
-
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
Prijzen
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, J. (Recipient), jun.-2018
Prijs: Fellowship awarded competitively › Academic