O reconhecimento como ACM Fellow em 2018 destacou Toniann Pitassi por suas contribuições sustentadas à pesquisa e educação nos domínios da complexidade computacional e de provas. Especializada na lógica matemática de sistemas de prova, ela influenciou a forma como os cientistas da computação compreendem o tempo necessário para verificar proposições lógicas e as forças variáveis de diferentes estruturas formais de prova.
Fundamentos acadêmicos e início de carreira
Nascida em 1962 em Pittsburgh, Pitassi cursou sua formação acadêmica fundamental na Universidade Estadual da Pensilvânia, onde obteve bacharelado e mestrado. Mais tarde, mudou-se para a Universidade de Toronto para seu doutorado, concluindo-o em 1992 sob a supervisão de Stephen Cook. Sua trajetória profissional inicial incluiu pesquisa de pós-doutorado na Universidade da Califórnia, San Diego, seguida de cargos docentes na Universidade de Pittsburgh e na Universidade do Arizona.
Contribuições para a complexidade de provas
O foco de Pitassi permanece no campo da complexidade de provas, que investiga o comprimento de provas matemáticas dentro de sistemas específicos. Sua pesquisa estabelece limites inferiores e superiores para esclarecer a eficiência de procedimentos de busca de provas. Descobertas notáveis incluem limites inferiores exponenciais para provas de Frege em relação ao princípio da casa dos pombos e provas de resolução para 3-satisfatibilidade aleatória densa. Seu trabalho também explora as forças relativas dos métodos de planos de corte e do algoritmo de Davis-Putnam.
Funções institucionais e serviço profissional
Após retornar à Universidade de Toronto em 2001, ela ocupou uma cátedra tanto no Departamento de Ciência da Computação quanto no Departamento de Matemática por duas décadas. Durante seu mandato, atuou como presidente do programa para o Simpósio de Teoria da Computação de 2012 e passou um tempo como professora visitante no Institute for Advanced Study em 2017. Em 2021, ela transicionou para a Universidade de Columbia como Professora de Engenharia Jeffrey L. e Brenda Bleustein.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimento e prêmios
A comunidade matemática internacional reconheceu Pitassi através de várias honrarias. Em 1998, ela foi palestrante convidada no Congresso Internacional de Matemáticos em Berlim. Suas realizações na carreira foram ainda mais consolidadas em 2022, quando foi nomeada para a Academia Nacional de Ciências.
Fatos rápidos
- Nascimento: 1962, Pittsburgh - Doutorado: 1992, Universidade de Toronto - ACM Fellow 2018 - Membro da Academia Nacional de Ciências 2022 - Cidadania: Canadá - Posição atual: Universidade de Columbia
Perguntas dos leitores
### Qual é o foco principal da pesquisa de Toniann Pitassi?
Seu trabalho centra-se na complexidade de provas, identificando especificamente os limites superiores e inferiores dos comprimentos de provas matemáticas em sistemas formalizados.
### Em quais instituições ela ocupou cargos docentes?
Ela serviu no corpo docente da Universidade de Pittsburgh, da Universidade do Arizona, da Universidade de Toronto e da Universidade de Columbia.
