Valeria De Paiva
Principal Research Scientist at Topos Institute
Cupertino, California, United States
Summary
👤
Senior🎓
Top SchoolValeria De Paiva is a Principal Research Scientist with over a decade of experience at the intersection of category theory, type theories, and AI-driven natural language semantics, currently based in Cupertino and leading research at the Topos Institute. Trained as a mathematician with a PhD from Cambridge, she has a long track record translating deep logical and categorical ideas into practical systems for search, knowledge representation, and explainable language models across industry and academia. Her work spans DARPA-scale projects, commercial voice and search platforms, and ontology-driven sentiment analysis, reflecting a rare blend of theoretical rigor and product-focused evaluation. Valeria is known for applying linear and modal logics to concrete NLP and security problems, and for building structured, auditable models that make mathematical and linguistic reasoning machine-interpretable.
12 years of coding experience
27 years of employment as a software developer
Ph D, Pure Mathematics, Ph D, Pure Mathematics at University of CambridgePontifical Catholic University of Rio de Janeiro
Portuguese, English, French
Stackoverflow
11reputation
1kreached
1answer
0questions
Github Skills (107)
categories10
windows10
bash10
computational-linguistics10
wordnet10
unix10
ontologies10
linux10
semantics10
open-access10
spellchecker9
cli9
nlp9
shell9
ontology9
Programming languages (15)
Github contributions (5)
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.