Rasmus Ejlers Møgelberg

Professor, Theoretical Computer Science
Head of Research Group, Programming Logic and Semantics

I am a professor at the IT University of Copenhagen in the Section for Theoretical Computer Science, and coordinator of the Programming, Logic and Semantics research group.

Research

Denotational semantics of programming languages, type theory, category theory, guarded recursion, domain theory, logic, parametric polymorphism, computational effects.

Postdocs

Sergei Stepanenko (Sept 2025 - Feb 2026)

Maaike Zwart (Sept 2021 - now)

Andrea Vezzosi (Feb 2019 - 2021). Now at MLabs Consultancy

Niccolo Veltri (2017-2019). Now at Tallinn University of Technology

Bassel Mannaa (Oct 2016 - 2018). Now at eToroX Labs

Patrick Bahr (2015-2016). Now associate professor at ITU

Employments/positions

PhD student and later postdoc at IT University of Copenhagen (2002 - 2005)

Postdoc at DISI, Universita di Genova (2005 - 2006)

Postdoc at LFCS, University of Edinburgh (2006 - 2007)