James Yoo
Research Assistant at Paul G. Allen School of Computer Science & Engineering
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJames Yoo is a research-focused software engineer and PhD student at the University of Washington with nine years of industry and academic experience in software engineering, developer tooling, and programmer productivity. He blends practical systems work—contributions to notable open-source projects like the Scala http4s library—with formal and static-analysis research, including taint-tracking and symbolic verification of LLM-generated code edits. His background spans major tech teams (Twitter, AWS, Microsoft Research) where he built privacy tooling, low-latency data pipelines, and static analyzers that find defects in AI-generated pull requests. He has a strong Scala and distributed-systems pedigree, having shipped performance-critical consumers and data pipelines in production. James aims to change how developers work by turning real-world programming problems into tool-supported solutions that are both usable and verifiable. Based in Seattle, he pairs rigorous academic methods with hands-on engineering across open-source and enterprise codebases.
9 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of WashingtonMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at The University of British Columbia
Github Skills (6)
cat10
http10
scala10
http-server9
http-client9
fs8
Programming languages (21)
Github contributions (5)
http4s/http4s
Aug 2020 - Nov 2020
A minimal, idiomatic Scala interface for HTTP
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 reviews, 6 commits, 8 PRs in 3 months
Contributions summary:James primarily contributed to enhancing the `http4s/http4s` library by adding features and improving its functionality. This included implementing new query parameter encoders and decoders for `LocalDate` and `ZonedDateTime`, and configuring an `AsyncHttpClient` with a custom configuration. They also addressed minor issues, such as changing the path to metrics and making slight code improvements. The user demonstrated expertise in the library's core components.
idiomatichttp-clientscalafs2typelevel
jyoo980/silver
Nov 2020 - Dec 2020
Definition of the Viper intermediate verification language.
Contributions:59 reviews, 27 PRs, 47 pushes in 25 days
intermediatedefinitionviperverification
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.