Peter C. Dillinger

Software Engineer (Java Static Analysis), Coverity, Inc., San Francisco

Ph.D. in Computer Science, Northeastern University, 2010


Academic Work

Data structures in verification

Dissertation:

Adaptive Approximate State Storage, Northeastern University, 2010

Publications:

Tools:

ACL2 theorem prover

Papers:

The tool:

Resume/CV

Here is my (somewhat dated) resume/CV.


Summer Gigs


Teaching

In addition to numerous teaching assistanships, undergraduate and graduate, at Georgia Tech and Northeastern, I was the instructor for Logic and Computation (CS U290) at Northeastern in the Fall of 2008. Here is a link to the archived web page.