Dr Geoff Sutcliffe

Room 310F Ungar Building
Telephone +1 305 2842158 (me) / 2842268 (department)
FAX +1 305 2842264
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
Consultation times Whenever the door is open

Course Information

Academic and Research Information

Brief Bio
Research Seminars
General Seminars
Youtube Talk

Research Projects

Conferences and Journals I'm involved with

  • 27th International Conference on Automated Deduction (Program Committee, Publicity Chair).
  • 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Program Committee).
  • 6th Workshop on Proof eXchange for Theorem Proving (Program Committee).
  • TOOLympics at the 2019 International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TOOLympics presenter).
  • 4th Conference on Artificial Intelligence and Theorem Proving (Program Committee).

My Android Apps     My sailing pages     My SCUBA pages     www.ColdBeer.cc     Mac's eye view