WikiDer > Тониан Питасси

Toniann Pitassi
Тониан Питасси
НациональностьАмериканская, канадская
Альма-матерУниверситет Торонто
Супруг (а)Ричард Земель
Научная карьера
ПоляМатематика
Информатика
УчрежденияУниверситет Торонто
ДокторантСтивен Кук

Тониан Питасси канадец и американец математик и специалист в области информатики специализируясь на теория сложности вычислений.

Академическая карьера

Уроженец Питтсбург, Питасси получил степень бакалавра и магистра в Государственный университет Пенсильвании прежде чем перейти к Университет Торонто для докторантуры; она получила докторскую степень. в 1992 г. из Торонто под руководством Стивен Кук. После докторантуры в Калифорнийский университет в Сан-Диего и должности преподавателей в Питтсбургский университет и Университет Аризоны, она вернулась в Торонто в 2001 году и сейчас является профессором Университет Торонто, факультет компьютерных наук и Математический факультет Университета Торонто.[1][2]

Она была приглашенным спикером на Международный конгресс математиков в Берлине в 1998 году.[3][4] Она была программным председателем на 2012 год. Симпозиум по теории вычислений.[5] С сентября по декабрь 2017 года она была приглашенным профессором в Институт перспективных исследований.[6]

Исследование

Исследования Питасси в основном сосредоточены на сложность доказательства, филиал теория сложности вычислений что ищет верхняя и нижняя границы по длине математические доказательства из логические предложения в рамках различных формализованных систем доказательства. Цель данного исследования - использовать эти границы для понимания как временная сложность процедур проверки и относительной силы различных систем доказательства.

Вклад в исследования, внесенный ею в этой области, включает экспоненциальные нижние оценки для Доказательства Фреге из принцип голубятни,[7] экспоненциальные нижние оценки плоскостной метод применяется к предложениям, полученным из проблема максимальной клики,[8] экспоненциальные нижние оценки для разрешающая способность доказательства плотного случайного 3-выполнимость экземпляры,[9] и субэкспоненциальные верхние границы для тех же плотных случайных экземпляров с использованием Алгоритм Дэвиса – Патнэма.[10] Вместе с Полом Бимом она также написала обзор сложности доказательства.[11]

Признание

Питасси был избран Член ACM в 2018 году за «вклад в исследования и образование в области сложности вычислений и доказательств».[12]

Избранные публикации

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

  1. ^ "Тонианн Питасси". Университет Торонто. Получено 2017-12-31.
  2. ^ Тониан Питасси на Проект "Математическая генеалогия"
  3. ^ «Пленарное заседание ICM и приглашенные спикеры». Международный математический союз. Получено 2017-12-31.
  4. ^ Питасси, Тониан (1998). «Неразрешимые системы уравнений и сложность доказательства». Док. Математика. (Билефельд) Extra Vol. ICM Berlin, 1998, т. III. С. 451–458.
  5. ^ «STOC 2012 - 44-й симпозиум ACM по теории вычислений». Нью-Йоркский университет, Кафедра компьютерных наук. Получено 2017-12-31.
  6. ^ "Тонианн Питасси". Институт перспективных исследований. Получено 2017-12-31.
  7. ^ Питасси, Луч и Импальяццо (1993).
  8. ^ Бонет, Питасси и Раз (1997).
  9. ^ Beame & Pitassi (1996); Beame et al. (2002).
  10. ^ Beame et al. (1998); Beame et al. (2002).
  11. ^ Beame & Pitassi (1998).
  12. ^ Стипендиаты ACM 2018 награждены за ключевые достижения, лежащие в основе цифровой эпохи, Ассоциация вычислительной техники, 5 декабря 2018

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