C
Colin Gordon
Associate Professor & Associate Department Head for Undergraduate Affairs, Computer Science
Research Interests
Computational Linguistics
Program Verification for Operating System Kernels
Programming Languages and Formal Methods
Type and Effect Systems
Logic, Programming, and Type Systems
Formal Methods in Verification
Software Engineering Research
Parallel Computing and Optimization Techniques
Distributed Systems and Fault Tolerance