Geoff Sutcliffe

Geoff Sutcliffe教授 美國邁阿密大學計算機科學系.

基本介紹

• 外文名：Geoff Sutcliffe 
• 職稱：美國邁阿密大學教授

個人簡介

geoffsutcliffe是邁阿密大學計算機科學系的教授和系主任。他獲得了納塔爾大學的理學學士（榮譽）和碩士學位，以及西澳大利亞大學計算機科學博士學位。他的研究領域是自動推理，特別是評估和有效使用自動推理系統。他最突出的成就是：第一次開發了一個異構並行推理系統，導致了SSCPA自動推理系統的開發；開發並持續維護TPTP問題庫，該庫是測試經典邏輯自動推理系統的事實標準；發展和持續組織CADE ATP系統競賽-經典邏輯自動推理系統世界錦標賽；以及自動推理工具的TPTP語言標準規範。這項研究得到了國家科學基金會、德國研究部、澳大利亞研究委員會、歐盟的資助，以及伊迪絲·考恩大學、詹姆斯·庫克大學和邁阿密大學的內部大學資助。這項研究已經發表了超過125篇期刊、會議和研討會論文。

工作經歷

他是ActaInformatica和正式數學雜誌的編輯，並曾擔任多個關於自動推理主題的特別期刊的客座編輯。他曾作為國際自動演繹會議（CADE）、編程人工智慧和推理邏輯國際會議（LPAR）的會議或項目主席，為自動化推理和人工智慧社區做出了貢獻，以及國際佛羅里達人工智慧研究會。他是“ES*”系列研討會的共同創辦人和組織者，這些研討會是關於經驗上成功的自動推理的。他經常擔任自動推理和人工智慧期刊和會議的項目委員會成員和評論員。他擔任過三屆CADE受託人，是LPAR指導委員會的成員，是全球連結研究（LRG）指導委員會的成員，是FLAIRS的總裁。作為邁阿密大學的教員，他是藝術與科學學院課程委員會的主席。