Dr Geoff Sutcliffe


Room 310F 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
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

CV
Brief Bio
DBLP
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