Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about AOL search database scandal or view research papers on web searching.
Cambridge Theory and Semantics Group
Details of the group, whose work is centred around mathematical models of a variety of languages and logics. Includes a list of members, and local resources.