Rasmus Ejlers Møgelberg -

Registered user since Tue 21 Aug 2018

Name:Rasmus Ejlers Møgelberg

Country:Denmark

Affiliation:IT University of Copenhagen

Personal website: http://www.itu.dk/~mogel/

Research interests:Programming languages, logic, type theory, denotational semantics

Contributions

2025

POPL

Author of Modelling Recursion and Probabilistic Choice in Guarded Type Theory within the POPL-track

2024

HOPE

Keynote Speaker in Keynote Speaker within the HOPE 2024-track
Keynote Speaker of An introduction to synthetic guarded domain theory with applications to probabilistic programming languages within the HOPE 2024-track

2023

ICFP

Author of Asynchronous Modal FRP within the ICFP Papers and Events-track

2021

POPL

Author of Diamonds Are Not Forever: Liveness in Reactive Programming with Guarded Recursion within the POPL-track

2020

ICFP

Committee Member in External Review Committee within the ICFP Program-track

HOPE

Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming within the HOPE 2020-track

2019

ICFP

Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track

POPL

Author of Bisimulation as Path Type for Guarded Recursive Types within the Research Papers-track