 |
 |
|
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): 
Telephone: (212) 346-1016 Fax: (212) 346-1863 Office hours: No office hours until September 2009. Last update on: 12-20-09 |
