Os espaços Dialectica surgiram como uma estrutura categórica para construir modelos de lógica linear através de uma tese de doutoramento de 1988 na Universidade de Cambridge. Esta base matemática, desenvolvida sob a supervisão de Martin Hyland, permanece uma contribuição central no campo da lógica. Valeria de Paiva, nascida em 1959 em Pouso Alegre, Brasil, continua a aplicar estes conceitos à teoria computacional moderna.
Fundamentos académicos
De Paiva iniciou a sua formação académica na Pontifícia Universidade Católica do Rio de Janeiro, onde obteve uma licenciatura em 1982 e um mestrado em álgebra pura em 1984. A sua transição subsequente para Cambridge resultou na introdução dos espaços Dialectica. Esta investigação utilizou as interpretações anteriores de Kurt Gödel para fornecer uma estrutura categórica para a lógica linear. O seu trabalho inicial, como a publicação de 1987 sobre categorias Dialectica, estabeleceu um quadro para abordagens lógicas à computação que integravam a teoria das categorias com teorias de tipos.
Trajetória profissional
O âmbito da sua carreira abrange diversos ambientes industriais e académicos. Entre 2000 e 2008, manteve um vínculo de nove anos no Palo Alto Research Center. As suas funções subsequentes incluíram cargos na Rearden Commerce e na Cuil antes de se juntar à Nuance Communications, onde trabalhou de 2012 a 2018. Após um período na Samsung Electronics entre 2019 e 2020, mudou-se para o Topos Institute em 2021. Detém também o título de investigadora honorária em ciência da computação na Universidade de Birmingham.
Investigação e governança
A sua produção foca-se na programação funcional, representação de conhecimento e semântica de linguagem natural. Relatórios técnicos notáveis incluem a publicação de 1992 sobre a atribuição de termos para a lógica linear intuicionista. Para além da sua investigação, serve a comunidade científica mais vasta, incluindo a sua posição no Conselho da Divisão de Lógica, Metodologia e Filosofia da Ciência e da Tecnologia para a União Internacional de História e Filosofia da Ciência e da Tecnologia entre 2020 e 2023. É também membro da SIGLOG e da Sociedade Escandinava de Lógica.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Factos rápidos
- Nascida: 1959, Pouso Alegre, Brasil - Cidadania: Brasil - Doutoramento: 1988, Universidade de Cambridge - Áreas: Ciência da computação, matemática, lógica - Emprego: Nuance Communications (2012-2018) - Emprego: Samsung Electronics (2019-2020) - Emprego: Topos Institute (2021) - Idiomas: Inglês, português
Perguntas que os leitores fazem
### Qual é a importância dos espaços Dialectica?
Fornecem um método categórico para construir modelos de lógica linear, baseado no trabalho de Kurt Gödel.
### Em que instituições académicas estudou?
Estudou na Pontifícia Universidade Católica do Rio de Janeiro e na Universidade de Cambridge.
