Name:Colin Gordon

Country:United States

Affiliation:Drexel University

Research interests:Type Theory, Separation Logic, Verification, Concurrency and Parallelism, Capabilities, Type and Effect Systems