John D. Erickson

Ph.D Candidate
University of Texas at Austin, Computer Science Department
jderick 'at' cs.utexas.edu

Job Search

I'll be looking for a job this spring. Here is my resume.

Education

University of Texas, PhD Program, Fall 2001-Spring 2008 (expected), advisor: J Moore
University of Texas, Masters of Science in Computer Science, 2007

New York University, Visiting Student, 2004

University of Texas, Bachelor of Science in Electrical Engineering, 1999

Research Experience

Researched algorithms for automatic discovery of proofs via generalization, lemma generation, and induction for the automatic theorem proving system ACL2. Under the supervision of Professor J Moore. Fall 2001-present.
Worked at NASA JPL's LaRS on verifying a flash filesystem for the next Mars Rover. Summer 2006.
Worked at NASA Goddard on generating implementations of control systems from informal requirements. Summer 2004.

Work Experience

Software Developer, Motive Communications, Inc. Contributed to the server-side development of a multi-tiered web application. January-July 2000.

Intern, Tivoli Systems. Re-engineered the build process for a large scale, multi-platform software system. June 1999-August 1999.

Intern, Deja News, Inc. Worked on a small team to build a distributed, high performance, scalable discussion threading and retrieval system. March 1999-August 1999.

Publications

Lemma Generation, Generalization, and Induction in ACL2. John Erickson. Ph.D. dissertation, Austin, TX, May 2008.

Backtracking in ACL2. John Erickson. In Proceedings of the 7th
International Workshop on the ACL2 Theorem Prover and its Applications
(ACL2 2007), Austin, TX, November 2007.

A Tool for Requirements-Based Programming. J. Rash, M. G. Hinchey, C. Rouff, D. Gracanin, and J. D. Erickson. In Proceedings of the Integrated Design and Process Technology (IDPT), (Beijing, China), June 16–20 2005.

Experiences with a Requirements-Based Programming Approach to the
Development of a NASA Autonomous Ground Control System. James
L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John
Erickson. In Proceedings of Engineering of Computer-Based
Systems, 2005.

Generalizing Finite Cases. PhD Oral Proposal, Department of Computer Sciences, University of Texas at Austin, February 2005.

Using Neural Networks to Classify Text Documents by Author. Steven
Guy, Braxton Thomason, John Erickson and Joydeep Ghosh. In
Proceedings of Artificial Neural Networks In Engineering, 1999.

Patents

Method and System for Direct Implementation of Formal Specifications
Derived Mechanically From Informal Requirements. John Erickson,
Denis Gracanin, Michael Hinchey, James Rash, Christopher Rouff. US
patent filed August 2005.

A Method and System for Formal Analysis, Simulation, and
Verification of Knowledge-Based Systems, Rule-Based Systems, and
Expert Systems. John Erickson, Denis Gracanin, Michael Hinchey,
James Rash, Christopher Rouff. US patent filed August 2005.