Programming Logic and Semantics
Organisational unit: Research Group
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Research Group Coordinator
Rasmus Ejlers Møgelberg (mogel@itu.dk)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.wikit.itu.dk/
Research outputs (146)
- Published
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Privacy-Preserving Dispute Resolution in the Improved Bingo Voting
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Calculating Correct Compilers II: Return of the Register Machines
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Prizes (1)
Best demonstration award
Prize: Prizes, scholarships, distinctions
Research Activities (7)
ICE 2019 - 12th Interaction and Concurrency Experience (Event)
Activity: Membership types › Membership in review committee
Verifying Security Protocols in Tamarin
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Cubical sets
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Press (85)
Kunstig intelligens hjælper sagsbehandlere med at finde vej i regler og arbejdsgange
Press/Media: Press / Media
Rodcertifikater udløber i år: Hardware i perfekt stand kan holde op med at virke
Press/Media: Press / Media
Nyt digitalt værktøj rejser røde flag i virvar af love og regler
Press/Media: Press / Media