Valeria de Paiva
Matemática que atua na interseção entre teoria das categorias, lógica e linguagem natural. Construo pontes entre a matemática abstrata e sistemas do mundo real, especialmente nas áreas de semântica, representação do conhecimento e inteligência artificial. Meu trabalho abrange tanto a academia quanto a indústria, desde os fundamentos da lógica até sistemas conversacionais e tecnologias de linguagem em larga escala.
Pesquisa
Minha pesquisa investiga como estruturas matemáticas — especialmente da teoria das categorias e da lógica — podem iluminar a linguagem, a computação e os sistemas de conhecimento. Um tema central do meu trabalho é o que chamo de Redes Matemáticas (Network Mathematics): um projeto para extrair e organizar, com o auxílio de ferramentas computacionais, a estrutura implícita da matemática e do conhecimento científico. Isso envolve:
- semântica categórica;
- sistemas lógicos e teoria da demonstração;
- compreensão de linguagem natural;
- grafos de conhecimento e representações estruturadas.
Tenho especial interesse em como essas ideias podem ser escaladas, desde a teoria fundamental até sistemas de inteligência artificial aplicados ao mundo real.
Instituições
Principal Research Scientist no Topos Institute
Honorary Research Fellow na Universidade de Birmingham
Professora Visitante do Departamento de Informática, PUC-RJ
Formação Acadêmica
- Doctor of Philosophy