My personal page is now hosted at github; please follow this link if you are not redirected automatically.