معرفی
Colin Gordon is an Associate Professor in the Department of Computer Science at Drexel University's College of Computing and Informatics. He conducts research in programming languages, formal methods, and software reliability, with a focus on static verification of concurrent and systems-level code. He also integrates insights from linguistics to improve formal specifications.
Education:
- PhD in Computer Science, University of Washington (2014)
- MS in Computer Science, University of Washington (2011)
- ScB in Computer Science, Brown University (2008)
His research lies at the intersection of programming languages, type theory, and formal verification. He is particularly interested in effect systems, static guarantees for concurrent programs, and formal verification of operating system kernels. Recently, his work has explored connections between natural language and programming, advocating for greater integration of linguistic theory into programming language research. His recent publications emphasize interdisciplinary approaches, combining formal logic with insights from linguistics.
Scientific Awards:
- NSF CAREER Award (2019)
Colin Gordon advises students and teaches courses in software engineering, software testing, and distributed systems. He is involved in research funding and service within the academic community. He previously worked as a Senior Research Engineer at Samsung Research America and held industry roles at Microsoft (Midori OS), NetApp (filesystems), and Sun Microsystems (Solaris Kernel). He contributes to open-source tools like the Checker Framework and maintains active research repositories.
Labs and Teams: He is affiliated with the Drexel Programming Systems group (@drexel-progsys) and collaborates on projects related to formal verification, compiler design, and software reliability.
