Midshipmen majoring in Computer Science at the US Naval Academy (my major and alma mater, class of '00) are indeed cognizant of Admiral Hopper, though I don't think there's anything specifically that teaches about her contributions. Part of this (and here I start to hypothesize) is the relative age - ADM Hopper's contributions, though extremely important and noteworthy, are relatively recent, in comparison to the rest of what goes on at USNA - the goal is, after all, to provide highly technically-trained graduates to drive ships, not go on to academic careers. Much of the infrastructure and heritage stems from the people and events of the Revolutionary War (aka "War for American Independence") through World War II, heavily favoring the mid- to late-1800's. Operational topics before and after that (and during, to give meaning and context to the heritage) are taught in classroom settings. But though ADM Hopper's contributions to the field of computer science are important, at best it's the contributions that are taught (not the name), and definitely not in an operational context (she spent her entire career as a reservist and rarely was operational).