Dr Geoff Sutcliffe


Room 445 Ungar Building
Email
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
429 Ungar Building, 1365 Memorial Drive, Coral Gables, FL 33146-4245, USA
Consultation times Whenever the door is open


Course Information


Academic and Research Information

CV
Brief Bio
DBLP
Research Seminars
General Seminars

Research Projects

Conferences and Journals I'm involved with

  • 3rd International Workshop on Proof Exchange for Theorem Proving (PxTP) (Program Committee)
  • CADE-24 Workshop on Knowledge Intensive Automated Reasoning (KInAR) (Program Committee)
  • CADE-24 Workshop on Empirically Successful Automated Reasoning with Artificial Intelligence (ESARAI) (Organizer)
  • StarExec Workshop 2013 (Organizer)
  • Do-Form: Enabling Domain Experts to use Formalised Reasoning, Symposium 2013 (Programme Committee)

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