Experience
Education
Bio
Valeria de Paiva is a research scientist working in the San Francisco Bay Area at Nuance Communications. She was an applied research scientist at Rearden Commerce, Foster City, CA, and a search analyst for Cuill, Inc. in Menlo Park, CA. She was also for many years a research scientist at the Intelligent Systems Laboratory of PARC (Palo Alto Research Center), California. She received her PhD in Mathematics from Cambridge University in 1988 for work on "Dialectica Categories",under Martin Hyland's supervision, and has ever since worked on logical approaches to computation, especially using Category Theory. She's an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK.