Scholar
Martin Kellogg
Google Scholar ID: KicmjV0AAAAJ
Assistant Professor, NJIT
Citations & Impact
Citations
111
H-index
6
i10-index
5
Publications
20
Co-authors
5
list available
Publications
Resume (English only)
Academic Achievements
- Papers:
- - “Static Program Reduction via Type-Directed Slicing” (ISSTA 2025)
- - “A New Approach to Evaluating Nullability Inference Tools” (FSE 2025)
- - “Repairing Leaks in Resource Wrappers” (ASE 2025)
- Awards:
- - 2024-25 James A. McHugh Excellence in Teaching for Faculty award
- - Distinguished Reviewer award at FSE
Research Experience
- Assistant Professor at the Department of Computer Science, New Jersey Institute of Technology.
Education
- Ph.D. from the University of Washington Paul G. Allen School of Computer Science & Engineering, Advisor: Michael Ernst.
Background
- Research Interests: Making software verification practical for every developer. Field: Computer Science.
Miscellany
- Personal Interests: Playing all kinds of games (video, tabletop, board, etc.), skiing, watching baseball and soccer, reading, and a little bit of tea snobbery. Favorite games include Civilization, Dungeons and Dragons, and Dominion. Big fan of the Washington Nationals and the Seattle Sounders.
