Martin Kellogg

Martin Kellogg is an Assistant Professor in the Department of Computer Science at NJIT. His research focuses on making software verification practical for developers by integrating it into standard development workflows. He emphasizes enhancing software reliability and security through methods that prevent critical errors like security vulnerabilities, resource leaks, and array bounds issues.

Education:

• Ph.D., Computer Science, University of Washington-Seattle Campus (2022)
• B.S., Computer Science, University of Virginia-Main Campus (2016)

Research Interests: Kellogg’s work spans software verification techniques, static analysis, and their application to security and reliability. He develops tools like specialized typecheckers and pluggable type inference systems to address challenges such as resource management and nullability analysis. His research has led to tools deployed at companies like Amazon Web Services.

Key Article Trends: His recent work explores static program reduction, nullability inference, and modular resource leak verification. These studies emphasize scalability and practicality, often leveraging machine learning and pluggable type systems to improve verification outcomes.

Scientific Awards: None explicitly mentioned in the provided text.

Advising & Grants: Kellogg has been involved in NSF grants such as “SHF: Small: Verification-guided Assessment and Reduction of Code Complexity” (2024) and “SHF: MEDIUM: General and Scalable Pluggable Type Inference” (2023). No formal advisees are listed in the text.

Labs/Teams: His research aligns with NJIT’s broader efforts in computer science and software engineering. A personal website (https://web.njit.edu/~mjk76/) provides further details on his work.