Christelle Scharff Pace
8 easy steps
Home
Teaching
Research
Grants
Publications
Software
Links
Others

Research

Automated Deduction and Theorem Proving
  • Computer Aided Software Verification
  • Semi-decision procedures (e.g. completion modulo with constraints)
  • Decision procedures in specific theories
  • Distributed and parallel implementations on distributed memory machines
Data mining
Global software development
Mobiles for development
Technologies and education


Memberships:
Member of ACM
Member of IEEE
Member of the Association for software testing
Member of the Center for Advancement of Formal Methods Education (CAFME) at Pace University
Member of the Math-Thinking group on Integrating Mathematical Reasonin into Computer Science Curricula

Citations:
Scientific Literature Digital Library
Computer Science Bibliography - dblp