I have moved to Princeton. My new homepage is here: web3.princeton.edu