Hugo López -

Registered user since Thu 27 Aug 2015

Name:Hugo López

Country:Colombia

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

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

Contributions

ICSSP 2020	Author of EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers within the ICSSP 2020-track
BEAT 2019	Author of Towards Legally Compliant Governmental Case Work with Dynamic Condition Response Graphs within the BEAT 2019-track
SPLASH 2015	Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA-track Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA Artifacts-track