Colin Gordon
Associate Professor
Philadelphia, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolColin Gordon is an Associate Professor and programming languages researcher with 14 years of experience improving software reliability through type systems, sound static analyses, and program verification for concurrent and systems-level code. He combines academic leadership at Drexel with industry experience at Microsoft and Samsung Research, applying practical kernel and OS insights to formal methods. His work spans compilers, concurrency, and type theory, including contributions to the widely used Checker Framework where he improved Java parsing and stability. Known for bridging theory and practice, he focuses on preventing errors up front via language abstractions as well as verifying real-world systems like kernels and filesystems. Based in Philadelphia, he also teaches software testing and distributed systems and explores model-theoretic NLP to make formal specifications more readable.
14 years of coding experience
9 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at University of WashingtonSc.B., Computer Science, Sc.B., Computer Science at Brown University
Stackoverflow
91reputation
54kreached
2answers
0questions
Github Skills (14)
javas10
type-system10
typescript10
typesc10
verification10
java10
bootstrapping6
assembly6
winapi6
interlocked6
multithreading6
osdev6
operating-system6
x866
Programming languages (14)
Github contributions (5)
typetools/checker-framework
May 2012 - Nov 2020
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 37 commits, 4 PRs in 8 years 7 months
Contributions summary:Colin primarily focused on improving the `checker-framework`, specifically refining the Java parsing functionality. They made updates to the `javaparser` library, including adjustments to `ASTParser.java` and extending `StubParser` to record annotations on package declarations. Furthermore, the user fixed a null pointer exception in the stub parser, addressing a potential stability issue within the framework.
checkingverificationtype-checkingpluggablejava
csgordon/javaui
Nov 2012 - Oct 2014
Contributions:22 commits in 1 year 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.