Publikationer pr. år
Publikationer pr. år
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.
Netværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Profiler
-
Patrick Bahr
- Computer Science - Associate Professor, Head of study programme
- Programming Logic and Semantics
Person: VIP
-
Alessandro Bruni
- Computer Science - Associate Professor
- Programming Logic and Semantics
- Center for Information Security and Trust
Person: VIP
Publikation
-
Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks
Kristensen, M. B., Møgelberg, R. E. & Vezzosi, A., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 13 s. 42Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Modal FRP for all: Functional reactive programming without space leaks in Haskell
Bahr, P., 26 dec. 2022, I: Journal of Functional Programming. 32, e15.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Monadic Compiler Calculation (Functional Pearl)
Bahr, P. & Hutton, G., aug. 2022, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Bind 6.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
Priser
-
Best demonstration award
Lopez, Hugo Andres (Modtager), Marquard, Morten (Modtager), Muttenthaler, Lukas (Modtager) & Strømsted, Rasmus (Modtager), 30 okt. 2019
Pris: Priser, stipendier, udnævnelser
Aktiviteter
-
Code Scanning
Carsten Schürmann (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
Rasmus Ejlers Møgelberg (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
Nicolas Pouillard (Arrangør)
5 feb. 2014 → …Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Presse/medier
-
ITU-forskere vil højne sikkerheden i Whatsapp
Marco Carbone & Alessandro Bruni
02/12/2022
1 Mediebidrag
Presse/medie
-
Lyssky gruppe angreb Danmark i brev til FIFA. Her er, hvad vi fandt ud af i jagten på bagmændene
22/11/2022
1 Mediebidrag
Presse/medie
-
Morten Bødskov: Det danske cyberlandshold er en afgørende brik for Danmarks cyberkrigsførelse
07/09/2022
1 Mediebidrag
Presse/medie