[hnfong]

Yes. But also, names are important. CS used to be mostly math for historical reasons. But it doesn't have to be that way, and we have actually solved a lot of the math problems in these couple decades (P!=NP is, of course, nowhere in sight...). We've found a lot of new problems that don't necessarily involve math, and I don't think we should invent a dozen more new names for these fields just for keeping the historical baggage "pure" for maths. I think we probably need to ask ourselves, if CS really is (and should be) just maths, why not just do all the CS research in the maths department and make CS do something that actually relates to real world computers and computing?