Scholar
Geoff Sutcliffe
Google Scholar ID: lzMFBvQAAAAJ
Department of Computer Science, University of Miami
Citations & Impact
Citations
1,619
H-index
20
i10-index
40
Publications
20
Co-authors
84
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - The TPTP World project
- - The CADE ATP System Competition
- - StarExec (Miami)
- - StarExec-ARC
- - Conferences involved: 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (April 2026) - Artifact Evaluation Committee; 18th Conference on Intelligent Computer Mathematics (October 2025) - Program Committee
Research Experience
- - Teaching CSC322 - System Programming
- - Teaching CSC345 - Introduction to Artificial Intelligence
- - Previously taught courses such as CS4921 - Ontology (at NPS), CSC120 - Computer Programming I, CSC506 - Logic and Automated Reasoning, etc.
Background
- Working in the Department of Computer Science, research interests include system programming, artificial intelligence, etc.
Miscellany
- Personal Zoom link: https://miami.zoom.us/my/zoom.meeting.with.geoff
