Hugo López

Registered user since Thu 27 Aug 2015

Name: Hugo López

Country: Colombia

Affiliation: Technical University of Denmark

Personal website: http://homepages.lasige.di.fc.ul.pt/~halopez/

Research interests: Programming Languages, type theory, mobile and distributed computing

Contributions

SPLASH 2015Author 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
Show activities from other conferences

SPLASH 2015-profile
View general profile