Maybe its changed since I’ve been in grade/high school over 15 years ago, but I dont really recall anything about Babbage in my history classes or programming electives.
My history classes focused mostly the major ancient civilizations, and US history from the colonial 1600s to the civil rights act and moon landing 1960s. The history of computation and computer science is very lacking here in the US.
Most of my knowledge of the important computer science people comes initially from Numberphile and Computerphile. Almost every one of those names I’ve pulled in my previous came from having to google stuff like influential woman computer scientists.
Besides elsewhere in this thread is someone literally saying none of the names I’ve mentioned were anywhere in their AI research curriculum for university.