Die Anerkennung als ACM Fellow im Jahr 2018 würdigte Toniann Pitassi für ihre nachhaltigen Beiträge zur Forschung und Lehre in den Bereichen der rechnergestützten Komplexität und der Beweiskomplexität. Als Spezialistin für die mathematische Logik von Beweissystemen hat sie beeinflusst, wie Informatiker die Zeit verstehen, die zur Überprüfung logischer Aussagen erforderlich ist, sowie die unterschiedlichen Stärken verschiedener formaler Beweisstrukturen.
Akademische Grundlagen und frühe Karriere
Pitassi wurde 1962 in Pittsburgh geboren und absolvierte ihre grundlegende akademische Ausbildung an der Pennsylvania State University, wo sie sowohl einen Bachelor- als auch einen Masterabschluss erwarb. Später wechselte sie für ihre Doktorarbeit an die University of Toronto, die sie 1992 unter der Betreuung von Stephen Cook abschloss. Ihr früher beruflicher Werdegang umfasste Postdoktoranden-Forschung an der University of California, San Diego, gefolgt von Fakultätspositionen an der University of Pittsburgh und der University of Arizona.
Beiträge zur Beweiskomplexität
Pitassis Schwerpunkt bleibt das Gebiet der Beweiskomplexität, das die Längen mathematischer Beweise innerhalb spezifischer Systeme untersucht. Ihre Forschung etabliert sowohl untere als auch obere Schranken, um die Effizienz von Verfahren zur Beweisfindung zu klären. Zu den bemerkenswerten Ergebnissen gehören exponentielle untere Schranken für Frege-Beweise bezüglich des Schubfachprinzips und Auflösungsbeweise für dichte zufällige 3-Erfüllbarkeit. Ihre Arbeit untersucht auch die relativen Stärken von Schnittebenen-Methoden und des Davis-Putnam-Algorithmus.
Institutionelle Rollen und professionelle Dienste
Nach ihrer Rückkehr an die University of Toronto im Jahr 2001 hatte sie zwei Jahrzehnte lang eine Professur sowohl im Fachbereich Informatik als auch im Fachbereich Mathematik inne. Während ihrer Amtszeit fungierte sie als Programmleiterin für das Symposium on Theory of Computing 2012 und verbrachte 2017 Zeit als Gastprofessorin am Institute for Advanced Study. Im Jahr 2021 wechselte sie an die Columbia University als Jeffrey L. and Brenda Bleustein Professor of Engineering.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Anerkennung und Auszeichnungen
Die internationale mathematische Gemeinschaft hat Pitassi durch verschiedene Ehrungen anerkannt. 1998 war sie eingeladene Rednerin auf dem Internationalen Mathematikerkongress in Berlin. Ihre beruflichen Leistungen wurden 2022 weiter gefestigt, als sie in die National Academy of Sciences aufgenommen wurde.
Fakten
- Geboren: 1962, Pittsburgh - Promotion: 1992, University of Toronto - 2018 ACM Fellow - 2022 Aufnahme in die National Academy of Sciences - Staatsbürgerschaft: Kanada - Aktuelle Position: Columbia University
Häufig gestellte Fragen
### Was ist der primäre Fokus der Forschung von Toniann Pitassi?
Ihre Arbeit konzentriert sich auf die Beweiskomplexität, insbesondere auf die Identifizierung der oberen und unteren Schranken für die Länge mathematischer Beweise in formalisierten Systemen.
### An welchen Institutionen hatte sie Fakultätspositionen inne?
Sie war Mitglied der Fakultät an der University of Pittsburgh, der University of Arizona, der University of Toronto und der Columbia University.
