Martin Kellogg

icon indicating a website link https://web.njit.edu/~mjk76/ icon indicating an email [email protected]

icon location Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.

Results 1 repositories owned by Martin Kellogg

checkerframework-gradle-plugin

60
Stars
14
Forks
Watchers

Gradle plugin to use the Checker Framework for Java

verified publisher icon kelloggm