http://dbpedia.org/ontology/abstract
|
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.
, Toniann Pitassi (* in Pittsburgh) ist eine … 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.or an der Columbia-University verheiratet.
, Toniann Pitassi is a Canadian and American … 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.search Chair at the University of Toronto.
, Toniann Pitassi (Pittsburgh) é uma matemática e cientista da computação estadunidense-canadense, especialista em complexidade computacional.
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Computer_Science +
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Stephen_Cook +
|
http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/University_of_Toronto +
, http://dbpedia.org/resource/University_of_Arizona +
, http://dbpedia.org/resource/University_of_Pittsburgh +
, http://dbpedia.org/resource/Columbia_University +
|
http://dbpedia.org/ontology/spouse
|
http://dbpedia.org/resource/Richard_Zemel +
|
http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Pitassi2017_MFO21907.jpg?width=300 +
|
http://dbpedia.org/ontology/wikiPageID
|
34165143
|
http://dbpedia.org/ontology/wikiPageLength
|
11043
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1103179716
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/University_of_Toronto +
, http://dbpedia.org/resource/Category:Canadian_women_mathematicians +
, http://dbpedia.org/resource/Maximum_clique_problem +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Category:University_of_Toronto_alumni +
, http://dbpedia.org/resource/Frege_system +
, http://dbpedia.org/resource/Pennsylvania_State_University +
, http://dbpedia.org/resource/Mathematical_Research_Institute_of_Oberwolfach +
, http://dbpedia.org/resource/Symposium_on_Theory_of_Computing +
, http://dbpedia.org/resource/Resolution_%28logic%29 +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/University_of_California%2C_San_Diego +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Davis%E2%80%93Putnam_algorithm +
, http://dbpedia.org/resource/Institute_for_Advanced_Study +
, http://dbpedia.org/resource/ACM_Fellow +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/National_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:University_of_Toronto_faculty +
, http://dbpedia.org/resource/Time_complexity +
, http://dbpedia.org/resource/EATCS +
, http://dbpedia.org/resource/Category:University_of_Pittsburgh_faculty +
, http://dbpedia.org/resource/Columbia_University +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/3-satisfiability +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Pennsylvania_State_University_faculty +
, http://dbpedia.org/resource/Category:Canadian_women_computer_scientists +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Richard_Zemel +
, http://dbpedia.org/resource/Stephen_Cook +
, http://dbpedia.org/resource/University_of_Arizona +
, http://dbpedia.org/resource/Category:Columbia_University_faculty +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Proposition +
, http://dbpedia.org/resource/Pigeonhole_principle +
, http://dbpedia.org/resource/Proof_complexity +
, http://dbpedia.org/resource/SIAM_Journal_on_Computing +
, http://dbpedia.org/resource/University_of_Pittsburgh +
, http://dbpedia.org/resource/Category:Canadian_computer_scientists +
, http://dbpedia.org/resource/Cutting-plane_method +
, http://dbpedia.org/resource/Category:University_of_Arizona_faculty +
, http://dbpedia.org/resource/University_of_Toronto_Department_of_Mathematics +
, http://dbpedia.org/resource/Upper_and_lower_bounds +
, http://dbpedia.org/resource/Pittsburgh +
, http://dbpedia.org/resource/International_Congress_of_Mathematicians +
|
http://dbpedia.org/property/caption
|
Pitassi at the MFO workshop Proof Complexity and Beyond, 2017
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Stephen_Cook +
|
http://dbpedia.org/property/education
|
http://dbpedia.org/resource/University_of_Toronto +
, http://dbpedia.org/resource/Pennsylvania_State_University +
|
http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Mathematics +
, Computer Science
|
http://dbpedia.org/property/name
|
Toniann Pitassi
|
http://dbpedia.org/property/nationality
|
American, Canadian
|
http://dbpedia.org/property/spouse
|
http://dbpedia.org/resource/Richard_Zemel +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:MR +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Cite_journal +
|
http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/University_of_Arizona +
, http://dbpedia.org/resource/Columbia_University +
, http://dbpedia.org/resource/University_of_Pittsburgh +
, http://dbpedia.org/resource/University_of_Toronto +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:University_of_Pittsburgh_faculty +
, http://dbpedia.org/resource/Category:University_of_Arizona_faculty +
, http://dbpedia.org/resource/Category:University_of_Toronto_faculty +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:Columbia_University_faculty +
, http://dbpedia.org/resource/Category:University_of_Toronto_alumni +
, http://dbpedia.org/resource/Category:Canadian_women_mathematicians +
, http://dbpedia.org/resource/Category:Canadian_computer_scientists +
, http://dbpedia.org/resource/Category:Pennsylvania_State_University_faculty +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:Canadian_women_computer_scientists +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Toniann_Pitassi?oldid=1103179716&ns=0 +
|
http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Pitassi2017_MFO21907.jpg +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Toniann_Pitassi +
|
http://xmlns.com/foaf/0.1/name
|
Toniann Pitassi
|
owl:sameAs |
https://orcid.org/0000-0003-0832-2760 +
, http://arz.dbpedia.org/resource/%D8%AA%D9%88%D9%86%D9%8A%D8%A7%D9%86_%D9%BE%D9%8A%D8%AA%D8%A7%D8%B3%D9%89 +
, http://fr.dbpedia.org/resource/Toniann_Pitassi +
, http://pt.dbpedia.org/resource/Toniann_Pitassi +
, http://www.wikidata.org/entity/Q7821369 +
, http://yago-knowledge.org/resource/Toniann_Pitassi +
, http://rdf.freebase.com/ns/m.0hr62q7 +
, http://de.dbpedia.org/resource/Toniann_Pitassi +
, https://global.dbpedia.org/id/4wQAJ +
, https://dblp.org/pid/p/TPitassi +
, http://dbpedia.org/resource/Toniann_Pitassi +
|
rdf:type |
http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/WikicatWomenComputerScientists +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatCanadianMathematicians +
, http://www.wikidata.org/entity/Q19088 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatTheoreticalComputerScientists +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/WikicatWomenMathematicians +
, http://dbpedia.org/class/yago/Mathematician110301261 +
|
rdfs:comment |
Toniann Pitassi (* in Pittsburgh) ist eine … 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).renda Bleustein Professor of Engineering).
, Toniann Pitassi is a Canadian and American … 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.search Chair at the University of Toronto.
, 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.
, Toniann Pitassi (Pittsburgh) é uma matemática e cientista da computação estadunidense-canadense, especialista em complexidade computacional.
|
rdfs:label |
Toniann Pitassi
|