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

Personal website: http://hugo.lopezacosta.net

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