Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Rasmus Ejlers Møgelberg
Associate Professor
,
Computer Science
Programming Logic and Semantics
https://orcid.org/0000-0003-0386-4376
Phone
72185297
Email
mogel
itu
dk
2006
2022
Research activity per year
Overview
Fingerprint
Network
Publications
(36)
Activities
(2)
Press/Media
(4)
Similar Profiles
(7)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Rasmus Ejlers Møgelberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Type Theory
99%
Recursion
55%
Denotational Semantics
48%
Semantics
39%
Calculus
39%
Model
35%
Dependent
33%
Syntax
29%
Clock Synchronization
28%
Reasoning
25%
Polymorphism
19%
Parametric Model
16%
Logic
14%
Categorical
14%
Productivity
14%
Programming Languages
14%
Presheaves
12%
Modality
11%
Programming
10%
Formulation
10%
Lambda Calculus
8%
Linear Logic
8%
Object
7%
Strong Normalization
6%
Standards
6%
Indexing
6%
Knowledge
5%
Abstraction
5%
Family
5%
Inclusion
5%
Linearly
5%
Engineering & Materials Science
Clocks
100%
Semantics
97%
Computer programming languages
58%
Productivity
44%
Syntactics
36%
Polymorphism
19%
Computability and decidability
18%
Temporal logic
18%
Formal verification
18%
Diamonds
15%
Substitution reactions
13%
Synchronization
12%
Machine oriented languages
6%