Colin Gordon

Registered user since Mon 17 Aug 2015

Name:Colin Gordon
Country:United States
Affiliation:Drexel University
Research interests:Type Theory, Separation Logic, Verification, Concurrency and Parallelism, Capabilities, Type and Effect Systems

Contributions

OCAP 2018 Designing with Static Capabilities and Effects
Formal Methods Panel
SPLASH 2018 Committee Member in Academic Panel within the DocSymposium-track
Session Chair of Types and Effects (part of OOPSLA)
Committee Member in Review Committee within the OOPSLA-track
Show activities from other conferences

SPLASH 2018-profile
View general profile