Name:Rasmus Ejlers Møgelberg

Country:Denmark

Affiliation:IT University of Copenhagen

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