Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Aktiviteter
Priser
Presse/medier
Søg efter ekspertise, navn eller tilknytning
Rasmus Ejlers Møgelberg
Associate Professor
,
Computer Science
Programming Logic and Semantics
https://orcid.org/0000-0003-0386-4376
Fastnet
72185297
E-mail
mogel
itu
dk
2006
2022
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(36)
Aktiviteter
(2)
Presse/medier
(4)
Lignende profiler
(7)
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Rasmus Ejlers Møgelberg er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
Sorter
Vægt
Alfabetisk
Matematik
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%
Teknik og materialevidenskab
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%