La reconnaissance en tant qu'ACM Fellow en 2018 a mis en lumière Toniann Pitassi pour ses contributions soutenues à la recherche et à l'éducation dans les domaines de la complexité computationnelle et de la complexité des preuves. Spécialisée dans la logique mathématique des systèmes de preuve, elle a influencé la compréhension par les informaticiens du temps nécessaire pour vérifier des propositions logiques et des forces variables des différentes structures de preuve formelles.
Fondements académiques et début de carrière
Née en 1962 à Pittsburgh, Pitassi a suivi sa formation académique fondamentale à l'Université d'État de Pennsylvanie, où elle a obtenu une licence et une maîtrise. Elle s'est ensuite rendue à l'Université de Toronto pour son doctorat, qu'elle a obtenu en 1992 sous la direction de Stephen Cook. Son début de carrière professionnelle a inclus des recherches postdoctorales à l'Université de Californie à San Diego, suivies de postes de professeur à l'Université de Pittsburgh et à l'Université de l'Arizona.
Contributions à la complexité des preuves
Le domaine de prédilection de Pitassi reste la complexité des preuves, qui étudie la longueur des preuves mathématiques au sein de systèmes spécifiques. Ses recherches établissent des bornes inférieures et supérieures pour clarifier l'efficacité des procédures de recherche de preuves. Parmi ses résultats notables figurent des bornes inférieures exponentielles pour les preuves de Frege concernant le principe des tiroirs et les preuves par résolution pour la 3-satisfaisabilité aléatoire dense. Ses travaux explorent également les forces relatives des méthodes de plans sécants et de l'algorithme de Davis-Putnam.
Rôles institutionnels et service professionnel
Après son retour à l'Université de Toronto en 2001, elle a occupé une chaire au sein du département d'informatique et du département de mathématiques pendant deux décennies. Durant son mandat, elle a été présidente du programme du Symposium sur la théorie de l'informatique en 2012 et a passé du temps en tant que professeure invitée à l'Institute for Advanced Study en 2017. En 2021, elle a rejoint l'Université Columbia en tant que professeure d'ingénierie Jeffrey L. et Brenda Bleustein.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissance et prix
La communauté mathématique internationale a reconnu Pitassi par divers honneurs. En 1998, elle a été conférencière invitée au Congrès international des mathématiciens à Berlin. Ses réalisations professionnelles ont été davantage consolidées en 2022 lorsqu'elle a été nommée à l'Académie nationale des sciences.
Faits marquants
- Naissance : 1962, Pittsburgh - Doctorat : 1992, Université de Toronto - ACM Fellow 2018 - Membre de l'Académie nationale des sciences 2022 - Nationalité : Canada - Poste actuel : Université Columbia
Questions fréquentes
### Quel est l'objectif principal des recherches de Toniann Pitassi ?
Ses travaux se concentrent sur la complexité des preuves, en identifiant spécifiquement les bornes supérieures et inférieures des longueurs des preuves mathématiques dans les systèmes formalisés.
### Dans quelles institutions a-t-elle occupé des postes d'enseignante ?
Elle a enseigné à l'Université de Pittsburgh, à l'Université de l'Arizona, à l'Université de Toronto et à l'Université Columbia.
