Colin Gordon - SPLASH 2018

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