Признание в качестве ACM Fellow в 2018 году отметило вклад Тонианн Питасси в исследования и образование в области вычислительной сложности и сложности доказательств. Специализируясь на математической логике систем доказательств, она повлияла на то, как компьютерные ученые понимают время, необходимое для проверки логических утверждений, и различную силу различных формальных структур доказательств.
Академический фундамент и начало карьеры
Питасси родилась в 1962 году в Питтсбурге и получила базовое академическое образование в Университете штата Пенсильвания, где получила степени бакалавра и магистра. Позже она переехала в Университет Торонто для работы над докторской диссертацией, которую защитила в 1992 году под руководством Стивена Кука. Ее ранняя профессиональная деятельность включала постдокторские исследования в Калифорнийском университете в Сан-Диего, за которыми последовали преподавательские должности в Питтсбургском университете и Аризонском университете.
Вклад в сложность доказательств
Основное внимание Питасси уделяет области сложности доказательств, которая исследует длину математических доказательств в рамках конкретных систем. Ее исследования устанавливают как нижние, так и верхние границы для уточнения эффективности процедур поиска доказательств. К числу заметных результатов относятся экспоненциальные нижние границы для доказательств Фреге относительно принципа Дирихле и доказательства резолюции для плотной случайной 3-выполнимости. Ее работа также исследует относительную силу методов отсекающих плоскостей и алгоритма Дэвиса-Патнэма.
Институциональные роли и профессиональная деятельность
После возвращения в Университет Торонто в 2001 году она в течение двух десятилетий занимала профессорскую должность как на кафедре компьютерных наук, так и на кафедре математики. Во время своей работы она была председателем программы симпозиума по теории вычислений 2012 года и провела время в качестве приглашенного профессора в Институте перспективных исследований в 2017 году. В 2021 году она перешла в Колумбийский университет на должность профессора инженерии имени Джеффри Л. и Бренды Блюстин.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Признание и награды
Международное математическое сообщество отметило Питасси различными наградами. В 1998 году она была приглашенным докладчиком на Международном конгрессе математиков в Берлине. Ее карьерные достижения были дополнительно закреплены в 2022 году, когда она была избрана в Национальную академию наук.
Краткие факты
- Родилась: 1962, Питтсбург - PhD: 1992, Университет Торонто - ACM Fellow 2018 - Член Национальной академии наук 2022 - Гражданство: Канада - Текущая должность: Колумбийский университет
Вопросы читателей
### Каков основной фокус исследований Тонианн Питасси?
Ее работа сосредоточена на сложности доказательств, в частности на определении верхних и нижних границ длины математических доказательств в формализованных системах.
### В каких учреждениях она занимала преподавательские должности?
Она работала преподавателем в Питтсбургском университете, Аризонском университете, Университете Торонто и Колумбийском университете.
