James Wilcox
Assistant Teaching Professor at University of Washington
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJames Wilcox is an assistant teaching professor and computer science educator in Seattle with 14 years of experience at the intersection of programming languages, formal methods, and distributed systems. He teaches and researches at the University of Washington after a long doctoral and lecturing trajectory there, and has product and go-to-market technical leadership experience from senior roles at Certora. James contributes to open-source distributed systems labs—improving backend frameworks, node functionality, and visualization for realistic teaching scenarios—demonstrating a pragmatic focus on code quality and testability. His background in both academia and startup tech enables him to translate formal methods research into practical tooling and curricula that scale to classroom and industry needs.
15 years of coding experience
2 years of employment as a software developer
Computer Science, Computer Science at University of WashingtonBachelor of Arts - BA, Mathematics and Computer Science, Bachelor of Arts - BA, Mathematics and Computer Science at Williams College
Stackoverflow
5,543reputation
113kreached
186answers
2questions
verification
top-5%
Github Skills (16)
javas10
web-framework10
distributed-systems10
java10
testing10
verification9
debugging9
theorem-proving6
dependent-types6
formal-verification6
io6
dafny6
idris6
coq6
z36
Programming languages (23)
Github contributions (5)
emichael/dslabs
Nov 2021 - Jan 2023
Distributed Systems Labs and Framework
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits, 11 PRs, 2 pushes in 1 year 1 month
Contributions summary:James primarily contributed to the back-end infrastructure of the distributed systems labs project. They focused on enhancing the framework code, including improvements to node functionality and reflection caching. They also added documentation, improved messages for state predicates, and addressed testing-related issues, demonstrating a focus on code quality and debugging capabilities. Furthermore, the user modified the visualization configuration files for specific lab scenarios.
distributed-systems
uwplse/arvo
Aug 2015 - Feb 2016
A proof assistant.
Contributions:286 commits, 27 PRs, 127 pushes in 6 months
proof-assistant
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.