Rasmus Møgelberg
Scholar

Rasmus Møgelberg

Google Scholar ID: MBiWoI8AAAAJ
IT University of Copenhagen
Programming languageslogiccategory theorydenotational semanticstype theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
685
 
H-index
15
 
i10-index
20
 
Publications
20
 
Co-authors
20
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • Published numerous papers on programming languages, type theory, category theory, etc., and involved in several research projects such as Algebraic Effects and Guarded Recursion (2022-2025), funded by Independent Research Fund Denmark.
Research Experience
  • Supervised multiple PhD students and postdocs, with research projects including Cubical Modal Type Theories and Type Theories for Reactive Programming.
Education
  • PhD student and later postdoc at IT University of Copenhagen (2002 - 2005), postdoc at DISI, Universita di Genova (2005 - 2006), post doc. at LFCS, University of Edinburgh (2006 - 2007).
Background
  • 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 area: Denotational semantics of programming languages, type theory, category theory, guarded recursion, domain theory, logic, parametric polymorphism, computational effects.
Miscellany
  • Email: mogel[at]itu.dk
Co-authors
20 total
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Alex Simpson
Alex Simpson
Professor of Computer Science, Faculty of Mathematics and Physics, University of Ljubljana
Patrick Bahr
Patrick Bahr
IT University of Copenhagen
Rasmus Lerchedahl Petersen
Rasmus Lerchedahl Petersen
Microsoft Research
Co-author 5
Co-author 5
Ranald Clouston
Ranald Clouston
Lecturer, Australian National University
Co-author 7
Co-author 7
Co-author 8
Co-author 8