Martin Kellogg
PHD Student at University of Virginia Department of Computer Science
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolMartin Kellogg is a PhD student and experienced software engineer with 11 years in research and development, currently based in Seattle and working at the intersection of program analysis and practical software verification. He has contributed significant backend and architecture work to high-impact open-source projects such as the Checker Framework (improving Java pluggable type-checking and the Index Checker) and the JFreeChart library, bringing stronger correctness guarantees and improved error handling. His research at University of Virginia produced N-Prog, a framework for automatic coarse-grained diversity to proactively defend software, reflecting a blend of empirical evaluation and tool-building. As a teaching assistant and former instructor, he pairs deep technical expertise with clear communication and mentorship experience across data structures and game design courses. Martin’s background includes industry internships building touch-enabled systems and real-world tooling, showing a practical bent for turning formal methods into developer-friendly tools. He is notable for translating verification research into usable frameworks that improve developer workflows and program reliability.
11 years of coding experience
1 year of employment as a software developer
BS, Computer Science, with a minor in Latin, 4th Year, BS, Computer Science, with a minor in Latin, 4th Year at University of Virginia
Github Skills (16)
data-structures10
javas10
type-system10
exception-handling10
java-annotations10
data-structure10
java10
testing10
architecture9
architectures9
charts9
error-handling9
data-visualization8
data-visualisation8
data-visualizations8
Programming languages (10)
Github contributions (5)
typetools/checker-framework
Oct 2016 - Jan 2023
Pluggable type-checking for Java
Role in this project:
Back-end Developer & Software Architect
Back-end Developer & Software ArchitectContributions:560 reviews, 258 commits, 509 PRs in 6 years 4 months
Contributions summary:Martin made significant contributions to the type-checking framework, focusing on refining and extending its capabilities. The user enhanced the framework by implementing features like the Index Checker, improving its soundness and the precision of the error messages. Further, the user added annotations to better express contracts and fixed bugs. The user demonstrated strong software engineering skills by adding a custom framework for the project.
checkingverificationtype-checkingpluggablejava
jfree/jfreechart
Nov 2017 - Jan 2018
A 2D chart library for Java applications (JavaFX, Swing or server-side).
Role in this project:Back-end Developer & QA Engineer / Test Automation Engineer
Back-end Developer & QA Engineer / Test Automation EngineerContributions:7 commits, 2 PRs, 1 comment in 1 month
Contributions summary:Martin contributed to the Java-based charting library by adding error handling to the `SerialDate` class, which is related to date calculations. They also implemented checks in the `SlidingGanttCategoryDataset` and `SlidingCategoryDataset` to handle potential errors, improving data integrity. Furthermore, they wrote tests for the `SlidingGanttCategoryDataset` to ensure the software behaves as expected, particularly focusing on exception handling related to keys.
chartsjava2dchartjavafx-applicationschart-library
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.