Biography
Colin Gordon's research interests include finding new ways to improve software reliability, especially providing strong static guarantees about program behavior, for concurrent and systems-level code. To address the difficulty of authoring the formal specifications required for formal verification, he also works with techniques from linguistics to relate natural language to various specification languages. He was awarded an NSF CAREER award in 2019. Gordon, whose industry experience includes working in an operating system incubation group at Microsoft and in Network Appliance Inc.'s filesystem group, previously served as senior research engineer at Samsung Research America.
Research Areas
- Theoretical Foundations of Computer Science
- Programming Systems and Software Engineering
Research Interests
Programming languages and formal methods, type and effect systems, program verification for operating system kernels, and computational linguistics
Academic Distinctions
- PhD, Computer Science (with a focus on formal verification of concurrent programs), University of Washington
- MS, Computer Science, University of Washington
- ScB, Computer Science, Brown University