Research output per year
Research output per year
Rued Langgaards Vej 7, 4C corridor, RLV
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
Person: VIP
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Research output: Theses › PhD thesis
Research output: Theses › PhD thesis
Hinrichsen, J. K. (Creator), ZENODO, 15 Dec 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Dataset: Software
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 31 May 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Dataset: Software
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 27 May 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Dataset: Software
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
09/05/2025
1 Media contribution
Press/Media: Press / Media
09/05/2025
1 Media contribution
Press/Media: Press / Media
06/05/2025
1 Media contribution
Press/Media: Press / Media
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
Project: Research
Hildebrandt, T. (PI), Bundgaard, M. (CoI), Glenstrup, A. J. (CoI), Carbone, M. (CoI), Højsgaard, E. (CoI) & Nilsson, M. (CoI)
Danish Council for Technology and Innovation
01/01/2007 → 01/10/2012
Project: Research
Hildebrandt, T. (PI)
Danish Public Welfare Technology Foundation
01/10/2010 → 31/12/2013
Project: Research