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
- Computer Science - Associate Professor, Head of study programme
- Programming Logic and Semantics
Person: VIP
-
Alessandro Bruni
- Computer Science - Associate Professor
- Programming Logic and Semantics
- cisat.dk
Person: VIP
Research output
-
Taming Differentiable Logics with Coq Formalisation
Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 Mar 2024.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research
Open Access -
A Logical Interpretation of Asynchronous Multiparty Compatibility
Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Cham, Vol. 14330. (Lecture Notes in Computer Science, Vol. 14330).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
A Sound and Complete Projection for Global Types
Tirore, D., Bengtson, J. & Carbone, M., 26 Jul 2023, In: Leibniz International Proceedings in Informatics. 268, p. 28:1 28 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access
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
-
ITU-forskere vil højne sikkerheden i Whatsapp
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
-
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
-
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
-
Meta-CLF2: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Project: Research