USC is the best ranked in CS on this list, and it has a strong engineering and CS program and if your child is National Merit winner, there is a half tuition merit scholarship at USC. The overall price though is very expensive because Los Angeles is expensive for living. Another caveat is that a few students will be offered spring admission at USC although if she wins merit there, it will be fall admission, most likely.
Duke is a close second though.
Emory and Davidson are focused more on liberal arts and sciences, very highly ranked, but may not have the super strong math kids that are leaning towards computer engineering/CS or math, although they offer math and CS.
I like Vanderbilt’s EE engineering program, we looked at it carefully. but not sure about CS.
WUSTL offers the 3-2 engineering for many liberal arts colleges, so there are some number of students that attend WUSTL for only two years, but study liberal arts at another school for three years. I don’t know how their CS stacks up to the others.
I think if you look at US News ranks in CS that will give you an idea about program strengths, but Davidson will not be ranked as it does not have a PhD program.
There are programs that are more hands on, so a bit lighter in math, like , Worcester Poly, and RIT up in Rochester, and the way to figure that out is to look at the average math SAT score of the admitted students, but I would
say many of the top CS programs like Stanford, MIT and GaTech, and UIUC, combine theory and coding, its a balance so students do learn both.