Differences between revisions 16 and 17
Revision 16 as of 2007-06-18 02:44:50
Size: 2098
Editor: cpe-74-73-88-247
Revision 17 as of 2007-06-18 02:45:46
Size: 2105
Editor: cpe-74-73-88-247
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
<img src ="images/littleengine.jpg" border=0> [http://www.csis.pace.edu/~scharff/littleengine.jpg]


This web site described the work realized under grant [http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=0326540 NSF ITR: Little Engines of Proof #0326540] (2003-2007). The grant was awarded to Drs. Natarajan Shankar(PI), Harald Ruess (Co-PI), Ashish Tiwari (Co-PI) (Stanford Research Insitute, SRI), Christopher Lynch (Co-PI) (Clarkson University) and Christelle Scharff (Co-PI) (Pace University).

  • Pace University participants:
    • Dr. Christelle Scharff cscharff@pace.edu

    • Michael Rehse (Undergraduate student)
    • Sokharith Sok (Former graduate student)
  • Contributions:
    • Building Bridges. Mini-Workshop on Automated Deduction, Formal Digital Libraries and Little Engines of Proof, Stanford Research Institute, Palo Alto, October 2003 [slides]
    • On the Combination of Congruence Closure and Completion. International Conference on Artificial Intelligence and Symbolic Computation (AISC), Linz, Austria, 2004 (joint work with Dr. Leo Bachmair) [paper,slides,bibtex]
    • Little Engines of Proof: Progress Report and Future. Little Engines of Proof/Logosphere Meeting, Carnegie Mellon University, Pittsburgh, January 2006 [slides]
    • From Design by Contract to Static Analysis of Java Programs: A Teaching Approach. International Formal Methods Education Workshop (FMEd), Hamilton, Canada, 2006 (joint work with Sokharith Sok) [paper,slides]
    • A Graph-Based Approach to Build Extended Canonizers. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Phnom Penh, Cambodia, 2006 (short paper) (joint work with Dr. Silvio Ranise) [paper,slides,bibtex]
    • Building Extended Canonizers by Graph-Based Deduction. International Colloquium on Theoretical Aspects of Computing (ICTAC), Macao SAR, China, 2007 (joint work with Dr. Silvio Ranise) [paper,slides,bibtex]
  • Master Thesis:

senegal: Home (last edited 2013-06-08 03:19:42 by scharff)