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