Publikationer pr. år
Publikationer pr. år
Organisationsprofil
Organisationsprofil
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
Dyk ned i forskningsemnerne, hvor Programming Logic and Semantics er aktive. Disse emneetiketter kommer fra arbejder fra denne organisations medlemmer. Sammen danner de et unikt fingerprint.
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Profiler
-
Patrick Bahr
- Theoretical Computer Science - Lektor
- Programming Logic and Semantics
- Kandidat i Softwaredesign - Uddannelsesleder
Person: VIP
Publikation
-
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, I: Proceedings of the ACM on Programming Languages. 9, POPLPublikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgangFil -
Terra: Enabling Edge-Based Stream Processing for Resource-Constrained Environments
Berthelsen, K. H., 2025, IT-Universitetet i København. 148 s.Publikation: Afhandlinger › Ph.d.-afhandling
Fil -
A Mechanisation of Multiparty Session Types
Tirore, D., 2024, IT-Universitetet i København. 160 s.Publikation: Afhandlinger › Ph.d.-afhandling
Forskningsdatasæt
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Ophavsmand), Hutton, G. (Ophavsmand) & Patrick, B. (Ophavsmand), ZENODO, 18 jul. 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Datasæt: Software
Priser
-
Best demonstration award
Lopez, H. A. (Modtager), Marquard, M. (Modtager), Muttenthaler, L. (Modtager) & Strømsted, R. (Modtager), 30 okt. 2019
Pris: Priser, stipendier, udnævnelser
Aktiviteter
-
Code Scanning
Schürmann, C. (Arrangør)
7 apr. 2014 → 20 maj 2014Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
-
Cubical sets
Møgelberg, R. E. (Arrangør)
1 dec. 2014 → 2 dec. 2014Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
-
Homotopy type theory seminar
Pouillard, N. (Arrangør) & Møgelberg, R. E. (Arrangør)
5 feb. 2014 → …Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Presse/medier
-
-
-
CYBERSIKKERHED AMERIKANSK TOP-EKSPERT ADVARER MOD STORMAGTERNES FORBRØDRING Trump presser russiske hackere mod Danmark
09/05/2025
1 Mediebidrag
Presse/medie
-
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
Projekter: Projekt › Forskning
-
Jingling Genie: Context-Sensitive Services Developed in Global Collaboration
Staunstrup, J. (PI), Hildebrandt, T. (CoI), Stald, G. B. (CoI) & Hansen, J. P. (CoI)
Danish Council for Strategic Research
01/01/2009 → 31/12/2013
Projekter: Projekt › Forskning
-
VARIETE: Variability in Portfolios of Dependable Systems
Wasowski, A. (PI), Abal, I. (CoI), Mukkamala, R. R. (CoI), Al-Sibahi, A. S. (CoI), Dimovski, A. (CoI) & Iosif-Lazăr, A. F. (CoI)
01/04/2013 → 31/08/2017
Projekter: Projekt › Forskning