Christelle Scharff - Home Page

Christelle Scharff

Pace

8 easy steps

Teaching

Home

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 research interests are automated deduction and theorem proving. Automated deduction and theorem proving study programs that automatize reasoning. One of the main applications of automated deduction and theorem proving is verification: software and hardware verification. Proofs on software has become crucial; proofs provide assurances of correctness that cannot be obtained using testing.

She is particularly interested in semi-decision procedures (e.g. completion) and decision procedures for special domains (e.g. congruence closure, lists).

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

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

E-mail: cscharff@pace.edu
Telephone: (212) 346-1016
Fax: (212) 346-1863
Office hours (Spring 2008): Tuesday 11:15am-3:15pm (NYC), Thursday 8:30am-9:00am, 11:15am-12:15pm (PLV), online and by appointment

Last update on: 4-20-08