Programming Logic and Semantics

Organisationsprofil

Organisationsprofil

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/

Fingerprint

Dyk ned i forskningsemnerne, hvor Programming Logic and Semantics er aktive. Disse emneetiketter kommer fra arbejder fra denne organisations medlemmer. Sammen danner de et unikt fingerprint.

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • Best demonstration award

    Lopez, Hugo Andres (Modtager), Marquard, Morten (Modtager), Muttenthaler, Lukas (Modtager) & Strømsted, Rasmus (Modtager), 30 okt. 2019

    Pris: Priser, stipendier, udnævnelser

  • Code Scanning

    Carsten Schürmann (Arrangør)

    7 apr. 201420 maj 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus

  • Cubical sets

    Rasmus Ejlers Møgelberg (Arrangør)

    1 dec. 20142 dec. 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus

  • Homotopy type theory seminar

    Nicolas Pouillard (Arrangør)

    5 feb. 2014 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerOrganisation og deltagelse i workshop, seminar og kursus