Джефф Сатклифф - Википедия - Geoff Sutcliffe

Джефф Сатклифф
Джефф Сатклифф LPAR2004 Montevideo.jpg
Джефф Сатклифф
НациональностьАвстралийская, Британская
ИзвестенTPTP, CASC
Научная карьера
ПоляКомпьютерные технологии
УчрежденияУниверситет Майами

Джефф Сатклифф находится в США специалист в области информатики работает в сфере автоматическое рассуждение Он имеет оба Британский и Австралийский национальности. Он родился в бывшей британской колонии Северная Родезия (сейчас же Замбия ),вырос в Южная Африка, и получил докторскую степень. в Австралия. Он работает в Университет Майами. Он является разработчиком Тысячи задач для доказательства теорем (TPTP) проблемная библиотека и Язык TPTP для формальной спецификации Автоматическое доказательство теорем проблемы и решения. С 1996 г. организует ежегодные Конкурс CADE ATP System (CASC), связанный с Конференция по автоматическому вычету и Международная совместная конференция по автоматизированному мышлению. Он был соорганизатором нескольких Автоматизированное рассуждение проблемы, в том числе Модальная логика: вызов $ 100, Задачи MPTP $ 100, и Вызовы SUMO $ 100[постоянная мертвая ссылка ]. Вместе с Стефан Шульц, Сатклифф основал и организовал серию семинаров ES * Workshop,[1] площадка для презентации и публикации практически ориентированного исследования Automated Reasoning.

Рекомендации

  1. ^ «Эмпирически успешные темы в серии семинаров по автоматизированному выводу». Архивировано из оригинал на 2010-02-06. Получено 2009-12-10.

внешняя ссылка