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/

1 - 10 out of 72Page size: 10
Sort by: Date
  1. Lær at angribe dig selv

    Alessandro Bruni

    23/04/2019

    1 Media contribution

    Press/Media: Press / Media

  2. Slut med kringlede kodeord: Ny login-teknik kommer til Android

    Alessandro Bruni

    04/03/2019

    1 Media contribution

    Press/Media: Press / Media

  3. Vores finanssektor er blevet for stor til Danmark

    Thomas Hildebrandt

    15/12/2018

    1 Media contribution

    Press/Media: Press / Media

  4. FAG & FREMTID 2018: Mennesker, Maskiner & Muligheder

    Thomas Hildebrandt

    22/06/2018

    1 Media contribution

    Press/Media: Press / Media

  5. Tænk på det nye it-system som en slags GPS

    Thomas Hildebrandt

    20/06/2018

    1 Media contribution

    Press/Media: Press / Media

  6. Big data skal løfte sagsbehandlernes rådgivning

    Thomas Hildebrandt

    24/05/2018

    1 Media contribution

    Press/Media: Press / Media

Previous 1 2 3 4 5 6 7 8 Next