Some of My Bookmarks

Home Page

Some Useful Bookmarks

Thoughts to Ponder

Phil Zimmermann, quoted in S.F. Chronicle, Aug. 21, 1996, p. A-5: If we set up a system that is optimized for surveillance, this government may not and probably won't use it. But then another government comes to power, one that sees the potential to use their 'keys' to destroy their opponents. It could be the last government we ever elect. (lifted from Prof. Dave Farber's home page)

Online Bookstores

ABE Books. Used books from independent used book dealers.
American Mathematical Society Bookstore.
Blackwell's Bookstore, in Oxford, England.
Elsevier Science Publishers.
Fatbrain (formerly Computer Literacy). Since being acquired by Barnes&Noble, they have closed all of their store locations in Silicon Valley, and are now only available online.
Foyles Bookstore, the famously eccentric Foyles in London.
MIT Press.
Reiter's Scientific and Professional Books, Washington, D.C. A great bookstore to visit for technical books.
Springer-Verlag.
Varsity Books. University course textbooks.

Book Publishers

Organizations

National, Public, and Government Organizations

Libraries

Consciousness, Physics, and the Mind/Matter Problem

The Edge
Daniel C. Dennett's home page.
David Chalmers home page.
F. David Peat's home page.
U of Arizona Consciousness Program, host of the Tucson I, II, and III conferences on consciousness.
Jack Sarfatti's strange and unique views on mind, matter and physics. Be sure to check out the Online Physics Handbook for references to articles and books on physics.

Technology Playthings

Universal Radio SW/MW/LW/AM/FM radios and antennas
BMW Motorcycles - BMW R1150GS in particular

Computing Milieu

A. M. Turing Award Winners
Internet ISP Ratings from MIDS
Free On-line Dictionary of Computing. Mirrored at Princeton and mastered at Imperial College of Science and Technology
A page devoted to Alan Turing, by Andrew Hodges (author of the Turing's biography, entitled, Alan Turing: the Enigma).
J.A.N Lee's History of Computing web site. A great source of information and lots of photographs of well known Computer Scientists.
Site devoted to Linear Logic maintained by Patrick Lincoln at SRI's Computer Science Laboratory.

Computer Science Departments

Interesting Software

Computer Scientists Conducting Interesting Research

List of Researchers in Programming Languages
Samson Abramsky, Edinburgh University, researcher in theoretical foundations of programming and co-editor of Handbook of Logic in Computer Science.
Gul Agha, University of Illinois. Actors, concurrent & distributed object-oriented programming.
Lloyd Allison, Functional programming, semantics.
Andrew Appel, Princeton University. Principal developer of Standard ML of New Jersey, and author of several books on compiler implementation.
Cristian Calude, University of Auckland. Researcher and author of a book on Algorithmic Information Theory.
Luca Cardelli, Microsoft Research, Programming languages researcher and author of the book"A Theory of Objects", co-implementor of Modula-3 and author of the language Obliq.
Greg Chaitin, IBM T. J. Watson Research Labs. Co-founder of Algorithmic Information Theory.
Charles Consel University of Rennes/IRISA, researcher on partial evaluation and domain specific languages.
Dave Farber, University of Pennsylvania, Director of the Distributed Computing Laboratory at UPenn, and long-time Internet and networking researcher.
Matthias Felleisen, Rice University, researcher in functional programming languages and Scheme.
Michael J. C. Gordon, University of Cambridge, researcher in functional programming languages, type theory and semantics.
Carl Gunter, University of Pennsylvania, reseacher on semantics of programming languages, and author of the book Semantics of Programming Languages: Structures & Techniques.
Robert Harper, Carnegie-Mellon University. Programming Language Theory. Standard ML. Author of two upcoming books. One on language theory and one on SML.
C.A.R Hoare, Oxford University. Theories of programming, Hoare Logic, CSP.
Paul Hudak, Yale University, reseacher on functional programming (Haskell) and domain specific programming languages.
Neil Jones, University of Copenhagen, reseacher on partial evaluation and semantics of programming.
Leslie Lamport, A Temporal Logic of Actions.
John Mitchell, Stanford University. Programming languages researcher and author of the books, "Foundation of Programming Languages" and "Theoretical Aspects of Object-Oriented Programming." Both published by MIT Press.
Peter Mosses, University of Aarhus. Action Semantics.
Peter O'Hearn, Queen Mary and Westfield College, researcher in logic and foundations of programming.
Luke Ong, Oxford University, researcher on semantics and foundations of programming languages.
Benjamin Pierce, University of Pennsylvania, researcher on programming languages. Lots of useful links from his home page.
Gordon Plotkin, University of Edinburgh. Semantics of Programming Languages, Domain Theory.
Frank Pfenning, Carnegie-Mellon University. Programming Language Theory. Constructive Logic and Type Theory.
John Reynolds, Carnegie-Mellon University. Theories of Programming Languages.
David Schmidt, Kansas State University, researcher on programming languages. Author of The Structure of Typed Programming Languages, a very readable book on the foundations of programming languages.
Philip Wadler, Edinburgh University, researcher on programming languages.
Mitchell Wand, Scheme and programming language semantics.
Niklaus Wirth, ETH, Pascal, Modula, Oberon.