ITU
Rasmus Ejlers Møgelberg

Rasmus Ejlers Møgelberg

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C12

Phone: +45 7218 5297

Information Desk: 72185000

Research Group Coordinator

Programming Logic and Semantics

View graph of relations

  1. 2014
  2. Homotopy type theory seminar

    Rasmus Ejlers Møgelberg (Organizer)

    5 Feb 2014 → …

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

  3. Cubical sets

    Rasmus Ejlers Møgelberg (Organizer)

    1 Dec 20142 Dec 2014

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

ID: 263471