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

Research Projects

Conferences and Journals I'm involved with

  • 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Program Committee)
  • 25th International Conference on Automated Deduction (Program Committee)
  • Workshop on Proof eXchange for Theorem Proving (Program Committee)
  • Conference on Intelligent Computer Mathematics, Systems and Data Track (Program Committee)
  • 28th International FLAIRS Conference (Program Committee)
  • 4th Workshop on Controlled Natural Language (Program Committee)

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