Logic ForAll

Forro' Logico: A blog to keep things.

Sunday, December 28, 2014

The Joys of Christmas Catching-up

›
Organizing meetings about the things you enjoy discussing is fun. Hearing the talks, putting up programs, coffee break discussions, are a...
Sunday, December 14, 2014

D for Dummett

›
Because of an interesting conversation on modal logic started by Urs Schreiber in google+ , I have been re-reading Dummett 's "T...
Wednesday, December 10, 2014

Temporality in Natural Logic

›
Interstellar is a movie that grew on me. I left the theater annoyed with a few things, in particular this stupid idea that we can all ge...
Tuesday, December 9, 2014

Recalculating...

›
There is something rather pleasing about the fact that I forgot completely that my special issue of LiLT (Linguistic Issues in Language ...
Monday, December 8, 2014

Math Quotes to remember

›
I wish I had thought this one: I do mathematics to see the invisible.   To exist (in mathematics), said Henri PoincarĂ©, is to be free ...
Saturday, December 6, 2014

K for Kripke

›
I met Saul Kripke only once, when we were invited speakers at  the first Unilog in 2005 . Jean-Yves Beziau organized for Mike Dunn and mys...
Tuesday, November 25, 2014

DannyFest 2008

›
Today I was reminded that we (Cleo and I) have not, yet, lived up to our promise of editing a special volume for Danny. We had the Fests...
‹
›
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.