Name:Hugo A. López

Country:Colombia

Affiliation:IT University of Copenhagen, Denmark & DCR Solutions A/S

Research interests:Concurrency Theory, Type Theory, Semantics of Programming Languages