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
Collaborations and top research areas from the last five years
Profiles
-
Patrick Bahr
- Theoretical Computer Science - Associate Professor
- Programming Logic and Semantics
Person: VIP
-
Jesper Bengtson
- Theoretical Computer Science - Associate Professor
- Programming Logic and Semantics
- MSc in Software Design - Co-Head of Programme
Person: VIP
-
Alessandro Bruni
- Theoretical Computer Science - Associate Professor
- Programming Logic and Semantics
- Center for Information Security and Trust
- MSc in Computer Science - Co-Head of Programme
Person: VIP
Research output
-
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
Nielsen, C. E., Kristiansen, M. F. & Bahr, P., 12 Jan 2026, Practical Aspects of Declarative Languages . Springer, p. 39-56 18 p. (Lecture Notes in Computer Science, Vol. 16401).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Rogers: Writing Verified Programs for Computational Storage
Clausen, M. T., 2026, IT-Universitetet i København. 152 p.Research output: Theses › PhD thesis
Open AccessFile -
Anamorphic Voting: Ballot Freedom Against Dishonest Authorities
Giustolisi, R., Rakeei, M. & Lenzini, G., 2025, Financial Cryptography and Data Security. FC 2025 International Workshops - Voting. p. 266-280 15 p.Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
Open AccessFile
Datasets
-
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
-
Agda files for LMCS paper "What monads can and cannot do with a few extra pages"
Zwart, M. (Creator), ZENODO, 4 Jun 2025
DOI: 10.5281/zenodo.15593221, https://zenodo.org/records/15593221
Dataset: Software
-
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact)
Tirore, D. (Creator), Bengtson, J. (Creator) & Carbone, M. (Creator), ZENODO, 27 Apr 2025
DOI: 10.5281/zenodo.15291182, https://zenodo.org/records/15291182
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
-
-
Totalt IT-nedbrud lammede Energinets sikkerhed i to døgn
17/03/2026
1 Media contribution
Press/Media: Press / Media
-
Vistisen ændrer hjemmeside efter spørgsmål om EUmidler: En fejl
14/03/2026
1 Media contribution
Press/Media: Press / Media
-
Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
22/01/2016 → 21/01/2022
Project: Research
-
MECHANIST: MECHANIsation of Session typEs
Carbone, M. (PI), Bengtson, J. (CoPI) & Tirore, D. (CoI)
Independent Research Fund Denmark
01/09/2021 → 30/10/2025
Project: Research
-
SAPienT: Safer AI with Probabilistic Session Types
Carbone, M. (PI)
01/02/2024 → 30/06/2024
Project: Research