home › event - adventures in searchland




Adventures in searchland
PARC Forum

30 July 2009
George E. Pake Auditorium, PARC
map/ directions

about PARC forum


Last year I left PARC after almost nine years in residence, to join Cuil, a  start up company then in stealth mode. Three months later, Cuil launched with a  lot of buzz and a product that is innovative to the hilt. This was the beginning of an exciting (and bumpy) journey over the unchartered territory of Searchland, part of the larger and (to me) still mysterious continent of StartUpLand.  In this talk I will discuss this journey and highlights so far.


Valeria de Paiva's research is  concerned with logical methods in Computer Science. Specifically with the study of logical proofs by means of algebraic and categorical tools. Her PhD work, at the Department of Pure Mathematics and Mathematical Statistics of the University of Cambridge, UK, under the supervision of Prof. Martin Hyland, was on categorical models of Linear Logic, the Dialectica categories. By uncovering a relationship between Girard’s Linear Logic, then incipient, and Gödel’s celebrated “Dialectica Interpretation”, one of the fundamental tools of proof theory, the work helped to publicize the virtues of Linear Logic amongst mathematicians. She then worked  in the Computer Laboratory in Cambridge, in different projects, ranging from interactive theorem proving to lexical semantics. In 1996 she became a Lecturer (Assistant Professor in US terminology) at the University of Birmingham, where she helped Professor Achim Jung establish the  School of  Computer Science as a interdisciplinary theoretical computer science research centre.

In 1999 she moved to California, and after a visiting fellowship, started working for (Xerox) PARC, in the  Systems and Practices Lab, on logics of context for knowledge representation systems. After almost nine years, she left PARC in May 2008 to join  Cuil, a start-up company building a new search engine.

She's  on of the editorial boards  of the journals TAC (Theory and Applications of Categories),  Logical Methods in Computer Science and Logica Universalis, as well as the  Springer-Verlag FoLLI Publications on Logic, Language and Information. She's  an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK.




upcoming events   view all 

Next Frontier of AI
Tolga Kurtoglu
3 May 2017 - 4 May 2017 | Istanbul, Turkey
Conferences & Talks  

Tutorial: Printing 3D Functional Objects and Devices
14 May 2017
Conferences & Talks  

Defining Your IoT Strategy: Executives as IoT Adoption Influencers (panel)
Markus Larsson, Speaker
17 May 2017 | Santa Clara, CA
Conferences & Talks  

Thinking About Security and Privacy with AI and ML (panel)
Raj Minhas, Moderator
17 May 2017 | Santa Clara, CA
Conferences & Talks