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 Activities (6)

    1. Verifying Security Protocols in Tamarin

      Activity: Participating in or organising an eventOrganisation and participation in workshop, seminar, course

    2. Cubical sets

      Activity: Participating in or organising an eventOrganisation and participation in workshop, seminar, course

    3. Structural Proof Theory

      Activity: Participating in or organising an eventOrganisation and participation in workshop, seminar, course

    View all »

    Top