Research output per year
Research output per year
4C corridor
2300 Copenhagen
Denmark
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/
Person: VIP
Person: VIP
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Lopez, H. A. (Recipient), Marquard, M. (Recipient), Muttenthaler, L. (Recipient) & Strømsted, R. (Recipient), 30 Oct 2019
Prize: Prizes, scholarships, distinctions
Schürmann, C. (Organizer)
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Møgelberg, R. E. (Organizer)
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Pouillard, N. (Organizer) & Møgelberg, R. E. (Organizer)
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
02/12/2022
1 Media contribution
Press/Media: Press / Media
22/11/2022
1 Media contribution
Press/Media: Press / Media
07/09/2022
1 Media contribution
Press/Media: Press / Media
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
Independent Research Fund Denmark
01/07/2015 → 31/01/2019
Project: Research
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
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Project: Research