WikiDer > Джефф Сатклифф - Википедия
 | Этот биография живого человека слишком полагается на Рекомендации к основные источники. (Ноябрь 2008 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Джефф Сатклифф | |
|---|---|
 Джефф Сатклифф | |
| Национальность | Австралийская, Британская |
| Известен | TPTP, CASC |
| Научная карьера | |
| Поля | Компьютерные технологии |
| Учреждения | Университет Майами |
Джефф Сатклифф находится в США специалист в области информатики работает в сфере автоматическое рассуждениеОн имеет оба Британский и Австралийский национальности. Он родился в бывшей британской колонии Северная Родезия (сейчас же Замбия),вырос в Южная Африка, и получил докторскую степень. в Австралия. Он работает в Университет Майами. Он является разработчиком Тысячи задач для доказательства теорем (TPTP) проблемная библиотека и Язык TPTP для формальной спецификации Автоматическое доказательство теорем проблемы и решения. С 1996 г. организует ежегодные Конкурс CADE ATP System (CASC), связанный с Конференция по автоматическому вычету и Международная совместная конференция по автоматизированному мышлению. Он был соорганизатором нескольких Автоматизированное рассуждение проблемы, в том числе Модальная логика: вызов $ 100, Задачи MPTP $ 100, и Вызовы SUMO $ 100[постоянная мертвая ссылка]. Вместе с Стефан Шульц, Сатклифф основал и организовал серию семинаров ES * Workshop,[1] площадка для презентации и публикации практически ориентированного исследования Automated Reasoning.
Рекомендации
- ^ «Эмпирически успешные темы в серии семинаров по автоматизированному выводу». Архивировано из оригинал на 2010-02-06. Получено 2009-12-10.
