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

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