
Rasmus Ejlers Møgelberg
Associate Professor
- Programming Logic and Semantics
Research Group
- Computer Science
Department
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4C12
Information Desk: 72185000
Research Group Coordinator
Programming Logic and SemanticsResearch outputs (34)
- Published
Diamonds are not forever: Liveness in reactive programming with guarded recursion
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Denotational semantics for guarded dependent type theory
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Press (4)
NAVNE I NOTER
Press/Media: Press / Media
Millionbevilling fra Villum Fonden til ITU-lektor
Press/Media: Press / Media
HÆDER - NAVNENYT
Press/Media: Press / Media
Research Activities (2)
Cubical sets
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Homotopy type theory seminar
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Recent activities and conferences
ID: 263471