Photo Unavailable

Colin Gordon

Assistant Professor
Computer Science

Colin Gordon

Assistant Professor
Computer Science

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. His previous work has focused on the formal verification of concurrent programs; he is also interested in other levels of formal assurance, programming models, distributed computing and testing. 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

  • Computer Science
  • Systems & Software Engineering

Research Interests

Programming languages and formal methods, type systems and program verification for concurrent programs

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
  • CV