Toniann Pitassi
Toniann Pitassi | |
---|---|
![]() | |
Nascimento | 5 de agosto de 1962 Pittsburgh |
Nacionalidade | estadunidense, canadense |
Cidadania | Canadá |
Alma mater | Universidade de Toronto |
Ocupação | matemática, cientista de computação |
Prêmios |
|
Empregador(a) | Universidade de Toronto, Universidade do Arizona, Universidade de Pittsburgh, Universidade Estadual da Pensilvânia |
Orientador(a)(es/s) | Stephen Cook |
Instituições | Universidade de Toronto |
Campo(s) | matemática, ciência da computação |
[edite no Wikidata] |
Toniann Pitassi (Pittsburgh) é uma matemática e cientista da computação estadunidense-canadense, especialista em complexidade computacional.
Carreira acadêmica
Pitassi obteve os graus de bacharel e mestrado na Universidade Estadual da Pensilvânia, seguindo para a Universidade de Toronto, onde obteve em 1992 um Ph.D., orientada por Stephen Cook. Após estudos de pós-doutorado na Universidade da Califórnia em San Diego e no corpo docente da Universidade de Pittsburgh e Universidade do Arizona, retornou a Toronto em 2001, sendo atualmente professora do Departamento de Ciência da Computação e do Departamento de Matemática da Universidade de Toronto.[1][2]
Foi palestrante convidada do Congresso Internacional de Matemáticos em Berlim (1998).[3] De setembro a dezembro de 2017 foi professora visitante no Instituto de Estudos Avançados de Princeton.[4]
Publicações selecionadas
- Pitassi, Toniann; Beame, Paul; Impagliazzo, Russell (1993), «Exponential lower bounds for the pigeonhole principle», Computational Complexity, 3 (2): 97–140, MR 1233662, doi:10.1007/BF01200117 .
- Beame, Paul; Pitassi, Toniann (1996), «Simplified and improved resolution lower bounds», Proceedings of the 37th Annual Symposium on Foundations of Computer Science, pp. 274–282, MR 1450625, doi:10.1109/SFCS.1996.548486 .
- Bonet, Maria; Pitassi, Toniann; Raz, Ran (1997), «Lower bounds for cutting planes proofs with small coefficients», Journal of Symbolic Logic, 62 (3): 708–728, MR 1472120, doi:10.2307/2275569 .
- Beame, Paul; Pitassi, Toniann (1998), «Propositional proof complexity: past, present, and future», Bulletin of the European Association for Theoretical Computer Science (65): 66–89, MR 1650939 . Reprinted in Current Trends in Theoretical Computer Science, World Scientific, 2001,
.
- Beame, Paul; Karp, Richard; Pitassi, Toniann; Saks, Michael (1998), «On the complexity of unsatisfiability proofs for random k-CNF formulas», Proceedings of the 30th ACM Symposium on Theory of Computing, pp. 561–571, MR 1715604, doi:10.1145/276698.276870 .
- Beame, Paul; Karp, Richard; Pitassi, Toniann; Saks, Michael (2002), «The efficiency of resolution and Davis-Putnam procedures», SIAM Journal on Computing, 31 (4): 1048–1075, MR 1919956, doi:10.1137/S0097539700369156 .
- Dwork, Cynthia; Naor, Moni; Pitassi, Toniann; Rothblum, Guy N. (2010). «Differential privacy under continual observation». Proceedings of the Forty-Second ACM Symposium on Theory of Computing: 715–724. doi:10.1145/1806689.1806787
- Dwork, Cynthia; Hardt, Moritz; Pitassi, Toniann; Reingold, Omer; Zemel, Richard (2012). «Fairness Through Awareness». New York, NY, USA: ACM. Proceedings of the 3rd Innovations in Theoretical Computer Science Conference. ITCS '12: 214–226. ISBN 9781450311151. arXiv:1104.3913
. doi:10.1145/2090236.2090255
- Dwork, Cynthia; Feldman, Vitaly; Hardt, Moritz; Pitassi, Toniann; Reingold, Omer; Roth, Aaron (7 de agosto de 2015). «The reusable holdout: Preserving validity in adaptive data analysis». Science (em inglês). 349 (6248): 636–638. ISSN 0036-8075. PMID 26250683. doi:10.1126/science.aaa9375
Referências
- ↑ «Toniann Pitassi». University of Toronto. Consultado em 31 de maio de 2018
- ↑ Toniann Pitassi (em inglês) no Mathematics Genealogy Project
- ↑ «ICM Plenary and Invited Speakers». International Mathematical Union (em inglês). Consultado em 31 de maio de 2018
- ↑ «Toniann Pitassi». Institute for Advanced Study (em inglês). Consultado em 31 de maio de 2018