Toniann Pitassi

http://dbpedia.org/resource/Toniann_Pitassi an entity of type: Thing

Toniann Pitassi is a Canadian and American mathematician and computer scientist specializing in computational complexity theory. She is currently Jeffrey L. and Brenda Bleustein Professor of Engineering at Columbia University and was Bell Research Chair at the University of Toronto. rdf:langString
Toniann Pitassi est une chercheuse en informatique théorique, et en particulier en théorie de la complexité. Elle a reçu le prix EATCS 2021. rdf:langString
Toniann Pitassi (Pittsburgh) é uma matemática e cientista da computação estadunidense-canadense, especialista em complexidade computacional. rdf:langString
Toniann Pitassi (* in Pittsburgh) ist eine kanadisch-US-amerikanische Informatikerin. Pitassi studierte an der Pennsylvania State University mit dem Bachelor- und Master-Abschluss und wurde 1992 an der University of Toronto bei Stephen Cook promoviert (The Complexity of Weak Formal Systems). Als Post-Doktorandin war sie zwei Jahre an der University of California, San Diego. Danach war sie zwei Jahre Assistant Professor an der University of Pittsburgh und anschließend vier Jahre an der University of Arizona. Ab 2001 war sie Professorin an der University of Toronto (Bell Research Chair) und ab 2021 an der Columbia University (Jeffrey L. and Brenda Bleustein Professor of Engineering). rdf:langString
rdf:langString Toniann Pitassi
rdf:langString Toniann Pitassi
rdf:langString Toniann Pitassi
rdf:langString Toniann Pitassi
rdf:langString Toniann Pitassi
rdf:langString Toniann Pitassi
xsd:integer 34165143
xsd:integer 1103179716
rdf:langString Pitassi at the MFO workshop Proof Complexity and Beyond, 2017
rdf:langString Computer Science
rdf:langString American, Canadian
rdf:langString Toniann Pitassi (* in Pittsburgh) ist eine kanadisch-US-amerikanische Informatikerin. Pitassi studierte an der Pennsylvania State University mit dem Bachelor- und Master-Abschluss und wurde 1992 an der University of Toronto bei Stephen Cook promoviert (The Complexity of Weak Formal Systems). Als Post-Doktorandin war sie zwei Jahre an der University of California, San Diego. Danach war sie zwei Jahre Assistant Professor an der University of Pittsburgh und anschließend vier Jahre an der University of Arizona. Ab 2001 war sie Professorin an der University of Toronto (Bell Research Chair) und ab 2021 an der Columbia University (Jeffrey L. and Brenda Bleustein Professor of Engineering). 2017, 2019, 2020 und 2021 war sie als Gastprofessorin am Institute for Advanced Study (und 2004 Mitglied des IAS). Pitassi befasst sich mit Komplexitätstheorie und insbesondere Beweis-Komplexität in verschiedenen formalen Systemen der Mathematik (Logik) und Informatik, aber auch zum Beispiel Kommunikationskomplexität und Schaltkreiskomplexität. Eine Motivation für ihre Forschung ist das P-NP-Problem, wozu sie als Vorstufe Beweiskomplexität in Logik-Systemen (und Erfüllbarkeitsproblemen) untersucht, mit dem zentralen Problem zu untersuchen, welche Tautologien effiziente Beweise in Standard-Beweissystemen besitzen. Dabei wird Effizienz in Zeit, Raum und Zufälligkeit gemessen. Unter anderem gab sie 1993 mit Paul Beame und Russell Impagliazzo exponentieller untere Grenzen für das Schubfachprinzip in bzw. (Standardsystemen der Beweistheorie). Mit Beame, Richard M. Karp und Michael Saks bewies sie exponentielle untere Schranken für die Komplexität von Resolutionsbeweisen für dicht verteilte zufällige 3-CNF und subexponentielle obere Schranken mit Hilfe des Davis-Putnam-Verfahrens. Sie befasst sich auch mit Differential Privacy (die Privatsphäre erhaltene Datenverarbeitungsverfahren), nicht-diskriminierendes Maschinenlernen. 2012 erhielt sie den EATCS-Award. 2018 wurde sie Fellow der Association for Computing Machinery. 1998 war sie eingeladene Sprecherin auf dem Internationalen Mathematikerkongress in Berlin (Unsolvable systems of equations and proof theory). 2012 leitete sie das Programmkomitee für das ACM Symposium on Theory of Computing (STOC). 2022 wurde sie Mitglied der National Academy of Sciences. Sie ist mit dem Informatikprofessor an der Columbia-University verheiratet.
rdf:langString Toniann Pitassi is a Canadian and American mathematician and computer scientist specializing in computational complexity theory. She is currently Jeffrey L. and Brenda Bleustein Professor of Engineering at Columbia University and was Bell Research Chair at the University of Toronto.
rdf:langString Toniann Pitassi est une chercheuse en informatique théorique, et en particulier en théorie de la complexité. Elle a reçu le prix EATCS 2021.
rdf:langString Toniann Pitassi (Pittsburgh) é uma matemática e cientista da computação estadunidense-canadense, especialista em complexidade computacional.
xsd:nonNegativeInteger 11043

data from the linked data cloud