Valeria de Paiva

(picture by Thomas Forster, 2004)

Valeria de Paiva is a search analyst working for Cuill, Inc. in Menlo Park, CA.
Cuil is a new search engine with tons of innovative features, for a discussion see Anna Patterson's presentation.

She was until recently (May 2008) 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 also an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK.

New (buggy but with potential) homepage at valeriadepaiva@org.

Email: valeria.depaiva at gmail.com OR valeria at cuill.com.

(In case you were really looking for my husband, his email is Dick.Crouch at gmail.com.)

[ Publications ][ Research Projects] [ Research Interests] [ Past Activities ]

Meetings

COLING 2010, Reviewer for Track on Syntax and Grammar, Beijing, China, 23-27 August, 2010.
NASSLLI 2010, Member of Steering Committee, Bloomington, Indiana, June 21-25th 2010.
World Congress and School on Universal Logic III, Special session on Categorical Logic, April 22-25, 2010. Co-organizer with Andrei Rodin.

Symposium on Constructive Geometric Reasoning, Stanford, CA, October 24, 2009.
Methods for the Modalities 6 Copenhagen, Denmark, November 12-14, 2009. Member of programme committee.
PARC Forum, PAlo Alto, CA, 30 July 2009, Adventures in Searchland.
Mintsfest, Stanford, CA, 7th Jun 2009.
Language, Communication and Rational Agency, Stanford, May 30th 2009.
Spatial Relations: An Interdisciplinary Perspective, Stanford, March 7th 2009.
Automated Reasoning about Context and Ontology Evolution Workshop, associated with I JCAI, July 11-13, 2009, Pasadena, California, USA. Member of programme committee.
Fun with Constructive Modalities, Dept Filosofia, PUC-Rio, June 2009.
88th Peripatetic Seminar on Sheaves and Logic (88th PSSL), 4-5 April, 2009 Cambridge, UK.
CLiCS: Categorical Logic in Computer Science, Talk at M*A*T*H Colloquium, Sonoma State University, March 4th, 2009.

IMLA 2008 (Intuitionistic Modal Logic and Applications) Workshop associated with LICS'08 (Logic in Computer Science), June 23, 2008, Pittsburgh, Pennsylvania, USA. Co-organizer and member of programme committee.
Contexts and Ontologies 2008, a workshop associated with ECAI-2008, July 21-22, 2008, Patras, Greece. Member of Organization Committee.
WOLLIC 2008 (Workshop on Logic, Language, Information and Computation), Edinburgh, Scotland, July 1st-4th, 2008, Member of Programme Committee.
Epistemology Meets Logic, Informally, May 31-June 1, 2008, CSLI, Stanford University
Applications of universal algebra and logic to the constraint satisfaction problem, AIM (American Institute of Mathematics), Palo Alto, California, March 31st-April 4th, 2008.
DannyFest, a meeting to celebrate Danny Bobrow's lifetime of scientific achievements, at PARC, 26th March 2008. Videos and pictures can be found here.
Constructive Access Control, talks at Kestrel and SRI, February, 2008.

HYLO 2007 (Hybrid Logic 2007), 6-10 August, 2007, Dublin, Ireland, Member of Programme Committee.
Grammar Engineering across Frameworks, Stanford University, July 13-15, 2007.
Contexts and Ontologies-- Representation and Reasoning, associated with the Context Workshop, 21st August, 2007, Roskilde University, Roskilde, Denmark, Organizer.
LOAIT(Legal Ontologies and Artificial Intelligence Techniques), Stanford, June 4th, 2007.
Interpolations, a meeting in honor of William Craig, May 13, 2007, University of California at Berkeley.
Northern California and Oregon Undergraduate Math Conference, 21 April 2007. Panelist on Math Careers. After this I was asked for a brief description of my career.

Context Representation and Reasoning (CRR'06), Riva del Garda, Italy, 29th August 2006, Member of Programme Committee.
HYLO 2006 -- Hybrid Logic 2006 August, 11th, 2006. Workshop associated with LICS 2006 . Invited Speaker, Organizer.

ESSLLI 2006 - The 18th European Summer School in Logic, Language and Information 31-11 August, 2006, Malaga, Spain. PC Logic and Computation.
WOLLIC 2006 - The 13th Workshop on Logic, Language, Information and Computation July 18-21, 2006, Stanford, CA. Local organizer, co-chair.
EBL (Encontro Brasileiro de Logica), Itatiaia, April 24-28, 2006. Invited Speaker.
IMLA 2005 (Intuitionistic Modal Logic and Applications) Workshop associated with LICS'05, June 30, 2005, Chicago, Illinois, USA. Co-organizer with F. Pfenning and member of programme committee.

Editorial Work

Guest Editor for a special volume of Information and Computation on Intuitionistic Modal Logic and Applications, with Brigitte Pientka and Aleks Nanevski.
Advisory Board of Polimetrica (Category Theory)
Editorial Board of the book series "Logic Language and Information", published by Lecture Notes in Artificial Intelligence (LNCS/LNAI), a FoLLI initiative.
Editorial Board of LOMECS, Logical Methods in Computer Science .
Editorial Board of TAC, Theory and Applications of Categories .
Editorial Board of Logica Universalis, a new journal from Birkhauser Basel [Springer].
Advances in Natural Deduction (provisional title), Editor of a special volume with L. C. Pereira and H. E. Hausler.

Research Projects

A few talks that will, perhaps, become papers some day:

Constructive Access Control, talks at Kestrel and SRI, Jan/Feb 2008.
Constructive Institutions, talk at Stanford 1999.
Careers talk, Sonoma, 2007.

Other Fun Stuff

My DBLP entry.

My PARC bibliography, as remembered by the WayBack machine in October 2007.

My ACM profile.

My entry in Google Scholar, and the dialectica categories version as computed by Paul Taylor.

My entry in the Mathematical Genealogy, and illustrious ancestors, as computed by Alber.

The EU-funded TYPES and APPSEM working groups.

A British Council small collaborative project Alliance with the teams at Nancy and ENS (Paris), France.

The British Logic Colloquium, and the Brazilian Logic Society (SBL).

Facebook, LinkedIn and CiteULike accounts. Citation software. LogCats and Cartas. Flickr and arXiv, one of these days.

Collaborators

I do like to work with other people. Here is an incomplete (and vaguely chronological) list of people I am working with/have worked with:

Personal

I am a Brazilian, who misses very much Rio de Janeiro. My old `alma mater' is PUC in Rio.
But my work `alma mater' is Cambridge, where I spent 11 years.
I am especially fond of the computer laboratory.

I have a lovely daughter, a beautiful son and a great husband.
A few pictures of the kids are here, they need updating badly.

A blog is de riguer, nowadays. Mine is not about work, in case you were wondering.
But I hope to get a work one, soon.
Some work blogs that I'd like to check, once in a while: Andrej, Zach, and Restall.