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
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 - 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 "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
-
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
-
Haskell and Agda code for the article "The Calculated Typer"
Garby, Z. (Creator), Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 6 Aug 2025
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
-
Adele Veschetti
Carbone, M. (Host)
7 Oct 2022 → 6 Nov 2022Activity: Hosting a visitor types › Hosting an academic visitor
-
Arthur Djevahirdjian
Bruni, A. (Host)
27 Apr 2026 → 17 Jul 2026Activity: Hosting a visitor types › Hosting an academic visitor
-
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
Press/Media
-
-
Totalt IT-nedbrud lammede Energinets sikkerhed i to døgn
17/03/2026
1 Media contribution
Press/Media: Press / Media
-
Eksperter tager sig til hovedet: Politikernes TikTok-valgkamp er en 'markant risiko' for cybersikkerheden
14/03/2026
2 Media contributions
Press/Media: Press / Media
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
Independent Research Fund Denmark
01/07/2015 → 31/01/2019
Project: Research
-
Co-financed PhD scholarships for the FIRST Research School
Birkedal, L. (PI) & Hildebrandt, T. (PI)
Danish Council for Technology and Innovation
01/01/2009 → 15/08/2013
Project: Research
-
VeriFunAI: Verified Functional Analysis for Safe AI
Bruni, A. (PI)
01/03/2025 → 31/12/2025
Project: Research