Research output per year
Research output per year
Organization 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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
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
Research output
-
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 p. 42Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Modal FRP for all: Functional reactive programming without space leaks in Haskell
Bahr, P., 26 Dec 2022, In: Journal of Functional Programming. 32, e15.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Monadic Compiler Calculation (Functional Pearl)
Bahr, P. & Hutton, G., Aug 2022, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 6.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile
Prizes
-
Best demonstration award
Lopez, Hugo Andres (Recipient), Marquard, Morten (Recipient), Muttenthaler, Lukas (Recipient) & Strømsted, Rasmus (Recipient), 30 Oct 2019
Prize: Prizes, scholarships, distinctions
Activities
-
Code Scanning
Carsten Schürmann (Organizer)
7 Apr 2014 → 20 May 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Cubical sets
Rasmus Ejlers Møgelberg (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
Nicolas Pouillard (Organizer)
5 Feb 2014 → …Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Press/Media
-
ITU-forskere vil højne sikkerheden i Whatsapp
Marco Carbone & Alessandro Bruni
02/12/2022
1 Media contribution
Press/Media: Press / Media
-
Lyssky gruppe angreb Danmark i brev til FIFA. Her er, hvad vi fandt ud af i jagten på bagmændene
22/11/2022
1 Media contribution
Press/Media: Press / Media
-
Morten Bødskov: Det danske cyberlandshold er en afgørende brik for Danmarks cyberkrigsførelse
07/09/2022
1 Media contribution
Press/Media: Press / Media