Dr Geoff Sutcliffe
	Working in	Department of Computer Science, College of Arts and Sciences, University of Miami
	Room	310F Ungar Building
	Email	ude.imaim.sc@ffoeg
	Telephone	+1 305 2842158 (me) / 2842268 (department)
	Address for post	Department of Computer Science, University of Miami P.O. Box 248154, Coral Gables, FL 33124-4245, USA
	Address for deliveries	Department of Computer Science, University of Miami 310A Ungar Building, 1365 Memorial Drive, Coral Gables, FL 33146-4245, USA
	Office hours	Tuesday and Wednesday 12:30-3:00pm, in my office or in my Zoom. Please email for an appointment.
	Zoom	https://miami.zoom.us/my/zoom.meeting.with.geoff

Course Information

• CSC120 - Computer Programming I
• CSC506 - Logic and Automated Reasoning
• CSC749 - Automated Reasoning
• Previous Semesters CSC120 - Computer Programming I (Spring 2024) CSC330 Android Programming (Fall 2023) CSC749 Automated Reasoning (Fall 2023) CSC322 C Programming and UNIX (Spring 2023) CSC330 Android Programming (Spring 2022) CSC749 Automated Reasoning (Fall 2021) CSC41X Projects and Internships (Spring 2016) CSC405 Computer Science Seminars (Spring 2015) CSC220 Computer Programming II (Fall 2010) COMP6210 Artificial Intelligence (MIAS 2010) Working with Automated Reasoning Tools (UdS 2008) CSC545 Introduction to Artificial Intelligence (Spring 2008) CSC521 Computer Operating Systems (Fall 2004) MTH517 Data Structures and Algorithms (Spring 2000) MTH689 Distributed and Network Operating Systems (Spring 2000) CP1300 Introduction to Computer Science II (JCU) CP3120 Object Oriented Software Engineering (JCU)

Academic and Research Information

CV Brief Bio	DBLP Google Scholar	Research Seminars General Seminars
Research Projects In Automated Theorem Proving The TPTP World The CADE ATP System Competition StarExec (Miami) Completed Projects CSMS GrAnDe SSCPA TERDS Heterogeneous Parallel Deduction Systems Prolog-D-Linda
Conferences and Journals I'm involved with 18th Conference on Intelligent Computer Mathematics - Program Committee 14th TPTP Tea Party - Organizer 6th International Conference on Logic and Argumentation - Program Committee 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Artifact Evaluation Committee