Peter C. Dillinger

Software Engineering Manager, Coverity Static Analysis, Synopsys, Inc., Seattle

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 resume/CV (as pdf).


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.