columbia for ML/AI

hi, i was recently accepted to columbia's college of engineering

im interested in ML/AI, but seeing as there wasn't a degree for it at columbia i applied as a CS major

i want to go to grad school for ML in the future and was wondering 1) if my choice for CS was 'correct' for these goals, 2) how well the curriculum for CS covers ML fundamentals and research (specifically stuff like SLT and proofing/theory for ML), 3) how accessible/interactive the research is for undergrads at columbia (e.g. access to profs., access to compute, how collaborative research is, etc.), and 4) if i should consider the other schools i was accepted to (rice, GT, umass, UNC, uw-madison, rice)

thank you!