GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
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