Dialectica spaces emerged as a categorical framework for constructing models of linear logic through a 1988 doctoral thesis at the University of Cambridge. This mathematical foundation, developed under the supervision of Martin Hyland, remains a central contribution within the field of logic. Valeria de Paiva, born in 1959 in Pouso Alegre, Brazil, continues to apply these concepts to modern computational theory.
Academic Foundations
De Paiva began her formal education at the Pontifical Catholic University of Rio de Janeiro, where she earned a bachelor's degree in 1982 and a master's degree in pure algebra in 1984. Her subsequent transition to Cambridge resulted in the introduction of Dialectica spaces. This research utilized Kurt Gödel's earlier interpretations to provide a categorical structure for linear logic. Her early work, such as the 1987 publication on Dialectica categories, established a framework for logical approaches to computation that integrated category theory with type theories.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Professional Trajectory
The scope of her career spans diverse industrial and academic environments. Between 2000 and 2008, she maintained a nine-year tenure at the Palo Alto Research Center. Her subsequent roles included positions at Rearden Commerce and Cuil before she joined Nuance Communications, where she worked from 2012 to 2018. Following a period at Samsung Electronics between 2019 and 2020, she moved to the Topos Institute in 2021. She also holds the title of honorary research fellow in computer science at the University of Birmingham.
Research and Governance
Her output focuses on functional programming, knowledge representation, and natural language semantics. Notable technical reports include the 1992 publication on term assignment for intuitionistic linear logic. Beyond her research, she serves the broader scientific community, including her position on the Council of the Division for Logic, Methodology and Philosophy of Science and Technology for the International Union of History and Philosophy of Science and Technology between 2020 and 2023. She is also a member of SIGLOG and the Scandinavian Logic Society.
Fast facts
- Born: 1959, Pouso Alegre, Brazil
- Citizenship: Brazil
- Doctorate: 1988, University of Cambridge
- Fields: Computer science, mathematics, logic
- Employment: Nuance Communications (2012-2018)
- Employment: Samsung Electronics (2019-2020)
- Employment: Topos Institute (2021)
- Languages: English, Portuguese
Questions readers ask
What is the significance of Dialectica spaces?
They provide a categorical method for constructing models of linear logic, based on the work of Kurt Gödel.
In which academic institutions was she educated?
She studied at the Pontifical Catholic University of Rio de Janeiro and the University of Cambridge.
Achievements
- Affiliated with Samsung Electronics, Palo Alto Research Center and Nuance Communications
- Educated at University of Cambridge and Pontifical Catholic University of Rio de Janeiro
- Worked as mathematician, logician and computer scientist
