Caltech is fantastic. They even have the old-form domain name there in your links, similar to Stanford CS department which is also exceptional in the nomenclature, but grandfathered in.