Ralph Eric McGregor

Clarkson University

---

Candidate, Ph.D. in Computer Science at Clarkson University .

Email: mcgregre alla clarkson dose edu

---

Professional interests:

Theorem Proving, Software Design.

Projects

• ChewTPTP: ATP
• Spectrum: ATP

Publications

• Encoding First Order Proofs In SMT, J. Bongio, C. Katrak, H. Lin, C. Lynch, R.E. McGregor, Electronic Notes in Theoretical Computer Science, April 2008
• Encoding First Order Proofs In SAT, T. Deshane, W. Hu, P. Jablonski, H. Lin, C. Lynch, R.E. McGregor, Conference on Automated Deduction (CADE), Bremen, Germany, 2007
• An Alternate Definition of the Cantor Set, R.E. McGregor, 2000.

Slides

• Encoding First Order Proofs In SAT , CADE 2007.
• Recommender Systems , (CS551: Artificial Intelligence), 2007.
• The Anatomy of a DPLL-Based SAT Solver, (CS708: Graduate Seminiar), 2006.
• Partial Instantiation Method for Inference in First Order Logic , (CS708: Graduate Seminiar), 2005.

Links

• The Conference on Automated Deduction (CADE)
• Z3
• Yices: SMT Solver

Past Projects

• WebLinks , (COMM540: PHP/MySQL Design), 2008
• Workload Management System , (CS560: Database Systems), 2008
• Recommender System , (CS551: Artificial Intelligence), 2007
• XML Bibliography , 2007
• Home Automaton , (CS550: Software Design & Development), 2006

---

Last modified Wed Oct 22 16:51:23 2008
Website style borrowed from Microsoft Reasearch.