|
Research Automated Deduction and Theorem Proving
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 |