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