Research output per year
Research output per year
Organisation profile
Organisation profile
Programming, Logic and Semantics
The Programming, Logic and Semantics group is concerned with the foundation of programming languages. Where the Software Development Group focuses on specific programs and languages, this group focuses on fundamental research in computer science. With backgrounds in computer science, mathematics and philosophy the researchers have taken on one of the greatest challenges in computer science: to ensure that the software of the future is not riddled with errors. The main focus is on supplying stronger guarantees of programs working as intended from the start.
Visit the group’s own website:
https://pls.itu.dk/
Fingerprint
Dive into the research topics where Programming Logic and Semantics 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
-
Patrick Bahr
- Theoretical Computer Science - Associate Professor
- Programming Logic and Semantics
- MSc in Software Design - Head of Study Programme
Person: VIP
-
Jesper Bengtson
- Theoretical Computer Science - Associate Professor
- Programming Logic and Semantics
Person: VIP
-
Alessandro Bruni
- Theoretical Computer Science - Associate Professor
- Programming Logic and Semantics
- Center for Information Security and Trust
Person: VIP
Research output
-
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, In: Proceedings of the ACM on Programming Languages. 9, POPLResearch output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
Terra: Enabling Edge-Based Stream Processing for Resource-Constrained Environments
Berthelsen, K. H., 2025, IT-Universitetet i København. 148 p.Research output: Theses › PhD thesis
File -
A Mechanisation of Multiparty Session Types
Tirore, D., 2024, IT-Universitetet i København. 160 p.Research output: Theses › PhD thesis
Datasets
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Creator), ZENODO, 15 Dec 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Dataset: Software
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 31 May 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Dataset: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 27 May 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Dataset: Software
Prizes
-
Best demonstration award
Lopez, H. A. (Recipient), Marquard, M. (Recipient), Muttenthaler, L. (Recipient) & Strømsted, R. (Recipient), 30 Oct 2019
Prize: Prizes, scholarships, distinctions
Activities
-
Code Scanning
Schürmann, C. (Organizer)
7 Apr 2014 → 20 May 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Cubical sets
Møgelberg, R. E. (Organizer)
1 Dec 2014 → 2 Dec 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Homotopy type theory seminar
Pouillard, N. (Organizer) & Møgelberg, R. E. (Organizer)
5 Feb 2014 → …Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Press/Media
-
CYBERSIKKERHED AMERIKANSK TOP-EKSPERT ADVARER MOD STORMAGTERNES FORBRØDRING Trump presser russiske hackere mod Danmark
09/05/2025
1 Media contribution
Press/Media: Press / Media
-
Dansk supercomputer leder efter kunder: »Flere af os spekulerede over, hvad vi egentlig skulle bruge den til«
09/05/2025
1 Media contribution
Press/Media: Press / Media
-
Amerikansk toprådgiver advarer: Trump presser russiske hackere mod Danmark
06/05/2025
1 Media contribution
Press/Media: Press / Media
-
TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Project: Research
-
Computer Supported Mobile Adaptive Business Processes
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Project: Research
-
Interaktive træningsteknologier i kommunal genoptræning af hofte og apopleksipatienter
Hildebrandt, T. (PI)
Danish Public Welfare Technology Foundation
01/10/2010 → 31/12/2013
Project: Research