Logic ForAll

Forro' Logico: A blog to keep things.

Thursday, June 15, 2017

Missing My Mentors

›
Oscar Wilde famously said: " To lose one parent may be regarded as a misfortune; to lose both looks like carelessness. " I ...
Tuesday, June 6, 2017

Sisterhood in Logic....

›
The First Workshop for Women in Logic is about to happen in Reykjavik, Iceland . The website is  Women in Logic (WiL) Workshop19th J...
3 comments:
Friday, May 12, 2017

Universal Dependencies for Textual Inference

›
In February 2017 I gave a talk at Nuance's AI Lab about a small experiment that I did with Alexandre Rademaker and Fabricio Chalub , f...
Tuesday, May 2, 2017

Hurwitz-Radon Transformations

›
Looking for something else I discovered that my masters' thesis had been put online by the Maths department of PUC. Yay!!! Had to ...
Friday, April 21, 2017

Among the Philosophers

›
 Last week I was in Seattle for the APA/ASL meeting. The APA (American Philosophy Association) is kind of new to me, I had never been t...
Friday, March 3, 2017

Legal Start-ups

›
I have not written for far too long. Lots of work, lots of deadlines and especially lots of reviewing. But working with other people alwa...
Thursday, December 1, 2016

ECD Graphs? oh, no...

›
There's a common belief that everything that has been implemented once, in a given programming language X (say C++...
‹
›
Home
View web version

About Me

My photo
Valeria
Valeria de Paiva is a mathematician and computer scientist based in Cupertino, CA. She worked as a Principal Scientist at Samsung Research America. Previously she was a senior applied scientist at Nuance Communications, Sunnyvale, CA. Earlier she was at Rearden Commerce and 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.
View my complete profile
Powered by Blogger.