Suzanne Millstein
Research Software Engineer at University of Washington
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolSuzanne Millstein is a Research Software Engineer with 13 years of experience building and improving programming language tooling and research-oriented software, currently working in the Programming Languages and Software Engineering Research Group at the University of Washington. She brings deep expertise in Java type systems—evidenced by contributions to the well-known Checker Framework—where she has fixed subtle issues around intersection types, captured type variables, and improved annotated type handling. Her background combines academic rigor (M.S. in Computer and Information Sciences) with practical lab experience from the University of Oregon and industry internships, enabling her to translate research ideas into robust, maintainable code. Known for thoughtful refactors and clear documentation updates, she focuses on correctness and developer ergonomics in complex codebases.
13 years of coding experience
2 years of employment as a software developer
Master of Science (M.S.), Computer and Information Sciences, Master of Science (M.S.), Computer and Information Sciences at University of OregonBachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at University of Arkansas
Stackoverflow
26reputation
69reached
1answer
0questions
Github Skills (10)
javas10
type-checking10
type-check10
java10
annotations10
annotation-processing10
refactor9
refactoring9
debugging8
checker-framework6
Programming languages (8)
Github contributions (5)
typetools/checker-framework
Jan 2013 - Jan 2023
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:103 releases, 1715 reviews, 2125 commits in 10 years 1 month
Contributions summary:Suzanne primarily focused on improving the codebase related to the pluggable type-checking framework for Java. They implemented fixes, such as handling intersection types and capturing type variables, to address bugs and enhance the accuracy of the analysis. Additionally, the user worked on improvements like supporting the use of parameter types in a class that extends a super class and the implementation of a default value for an annotated type, which improves code readability. They also made updates to the Javadoc and a number of small refactoring of the codebase.
javatype-checkingverification
smillst/randoop
Mar 2018 - May 2026
Automatic test generation for Java
Contributions:78 pushes, 41 branches in 8 years 4 months
test-automationtestingtest-generationjavatesting-tools
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.