Valeria de Paiva is a is a mathematician and computer scientist based in Cupertino, CA. 
(this personal website is in the process of been updated to Valeria de Paiva @ github )

She works at Nuance Communications AI and NLU Sunnyvale Lab. She worked as senior applied scientist at ReardenCommerce, Foster City, CA (2011-2012) and as a search analyst at Cuil, Inc. in Menlo Park, CA, May 2008-Sept 2010. Before that she was a research scientist at the Intelligent Systems Laboratory of Xerox PARC (Palo Alto Research Center), California (2000-2008). Even before that she was a Professor (American usage) at the School of Computer Science, the   University of Birmingham, UK (1996-2000) and a research associate at the Computer Lab, University of Cambridge (1989-1995).

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 also an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK.