معرفی
Colin Gordon is a researcher at Drexel University with a focus on type theory, formal verification, and concurrency. His work bridges theoretical and practical aspects of programming languages.
His research interests include:
- Type Theory
- Separation Logic
- Verification
- Concurrency and Parallelism
- Capabilities
- Type and Effect Systems
Colin's recent publications address challenges in effect systems, formal verification, and programming language design. His work spans conferences like POPL, PLDI, and SPLASH, reflecting a strong commitment to advancing software correctness and language design.
۰مقاله منتشرشده
