Programming Logic and Semantics

Organisation profile

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:


Dive into the research topics where Programming Logic and Semantics is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Best demonstration award

    Lopez, Hugo Andres (Recipient), Marquard, Morten (Recipient), Muttenthaler, Lukas (Recipient) & Strømsted, Rasmus (Recipient), 30 Oct 2019

    Prize: Prizes, scholarships, distinctions