Christelle Scharff Pace
8 easy steps


Dr. Christelle Scharff is associate professor of computer science at Pace University, Manhattan, NY. She obtained her PhD in Computer Science from the Henri Poincaré University of Nancy in France under the supervision of Dr. Claude Kirchner and Dr. Christopher Lynch and did her research at LORIA and INRIA Lorraine.

Her PhD is in automated deduction and theorem proving. Automated deduction and theorem proving study programs that automatize reasoning. The main applications of automated deduction and theorem proving are software and hardware verification. Proofs on software are crucial in that they provide assurance of correctness that cannot be obtained using testing techniques.

In the recent years her interest is in the development and implementation of graph-based decision procedures for special domains (e.g. congruence closure, lists). SirHCA, an open source little engine of proof for the empty theory, the theory of lists and the theory of encryption, has been released in July 2008.

In the last years she has also been involved in global software engineering and mobile application development.

In 2008-2009 Dr. Christelle Scharff in on sabbatical and traveling between the US, France, Senegal and Cambodia.

Current program commitees:

Previous program commitees (2008):

Mail              Christelle Scharff
Pace University
New York City Campus
School of Computer Science and Information Systems
Computer Science Department
One Pace Plaza
New York, NY 10038, USA

Computer Science Department
163 Williams Street, 2nd Floor
Suite 228
One Pace Plaza
New York, NY 10038, USA

Telephone: (212) 346-1016
Fax: (212) 346-1863
Office hours: No office hours until September 2009.

Last update on: 12-20-09