ITU
ITU

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/

View graph of relations

Research outputs (132)

  1. Published

    The Process Highlighter: From Texts to Declarative Processes and Back

    Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication

  2. Published

    The Process Highlighter: From Texts to Declarative Processes and Back

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  3. Published

    Dynamic Evaluation Forms using Declarative Modeling

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

View all »

Press (68)

  1. Vores finanssektor er blevet for stor til Danmark

    Press/Media: Press / Media

  2. Selvstændige er snyltere. På Lindholm med dem Professor: De digitale ambitioner risikerer at blive en spændetrøje Løgne i Silicon Valley: Tech-feberen kan forføre enhver Sådan lavede Vera Mou en millionvirksomhed helt uden et fedtlag af djøfere

    Press/Media: Press / Media

  3. Indvandrere og flygtninge har ingen undskyldninger for ikke at få et job Professor: De digitale ambitioner risikerer at blive en spændetrøje Løgne i Silicon Valley: Tech-feberen kan forføre enhver Sådan lavede Vera Mou en millionvirksomhed helt uden et fedtlag af djøfere

    Press/Media: Press / Media

View all »

Research Activities (6)

  1. Verifying Security Protocols in Tamarin

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

  2. Cubical sets

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

  3. Structural Proof Theory

    Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course

View all »