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 

Analytic Methods for Modern Design and Manufacturing
Morad Behandish
11 July 2017 | Pittsburgh, PA
Conferences & Talks  

Railway Prognostics and Health Management (panel)
Parham Shahidi, Panel Chair
12 July 2017 - 15 July 2017 | Jeju, Korea
Conferences & Talks  

Digital fabrication for the IOT
Janos Veres
29 August 2017
Conferences & Talks  

The Collision of Cyber-Physical Worlds
Tolga Kurtoglu
27 September 2017 - 28 September 2017 | Santa Clara, CA
Conferences & Talks