About

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.

Links

Organizational Affiliations

Computer Science (Computing), College of Computing and Informatics, Drexel University

Education

Computer Science
ScB, Brown University (United States, Providence)
Computer Science
MS, University of Washington (United States, Seattle) - UW
Computer Science
PhD, University of Washington (United States, Seattle) - UW