• Sign in
  • Sign up
conf.researchr.org / Hugo López
  • ICSE 2020 profile
  • POPL 2019 profile
  • SPLASH 2015 profile
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

Share
xFri 5 Mar 06:03
using conf.researchr.org (v1.43.1)
Support page
Sign Up