I just saw this article in the _Coloradan_, which is CU's alumni magazine. A photo caption says that the peak is 11,960 ft. From the list here, it doesn't appear that it would be a ranked, previously unnamed peak. There is no map or other more specific information about where it actually is:
Braddock Peak named for prof
After spending his life making maps of Colorado's Front Range, professor emeritus William Braddock now appears in them.
Braddock Peak, north of Rocky Mountain National Park, honors the geology professor who taught at CU from 1958-94 and died in 2003. Named in September, the peak stands in the area covered by the popular Geologic Map of Rocky Mountain National Park that Braddock co-authored with former student and current USGS scientist Jim Cole ... in 1990.
"He, along with his students, mapped most of the Front Range as we know it," USGS research geologist Neil Fishman ... says. "His contribution is significant."