Expertise

Research Projects:

  • In Automated Theorem Proving
    • The TPTP World
    • The CADE ATP System Competition
    • StarExec

His research is in the area of Automated Reasoning, particularly in the evaluation and effective use of automated reasoning systems.


  • Automated Theorem Proving (ATP)
  • Evaluation of ATP systems
  • Distributed and Parallel ATP systems

Links

Organizational Affiliations

A&S - Computer Science, College of A&S, Schools & Colleges, University of Miami

College of A&S, Schools & Colleges, University of Miami

Education

Computer Science
1992, PhD, University of Western Australia
University of KwaZulu-Natal
1986, MSc
University of KwaZulu-Natal
1983, BSc