My blogs

Blogs I follow

About me

Industry Science
Occupation Senior Research Scientist
Location Cupertino, California, United States
Introduction Valeria de Paiva is a is a mathematician and computer scientist based in Cupertino, CA. She works as a Senior Scientist at Nuance Communications. Previously she was a senior applied scientist at ReardenCommerce, Foster City, CA. She was a search analyst at Cuil, Inc. in Menlo Park, CA, from May 2008-Sept 2010. Before that she was a research scientist at the Intelligent Systems Laboratory of PARC (Palo Alto Research Center), California (2000-2008). 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.
Interests logic, category theory, semantics