Dr Geoff Sutcliffe
	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

• CSC330 Android Programming
• CSC749 Automated Reasoning
• Previous Semesters CSC322 C Programming and UNIX (Spring 2023) CSC120 Computer Programming I (Fall 2022) 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 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Conference Chair International Symposium on Artificial Intelligence and Mathematics - Keynote Speaker 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Artifact Evaluation Committee