In addition to earning the No. 12 spot overall, UW–Madison earned top rankings in logic and verification, combining logic and verification with programming languages, measurement and performance analysis, computer architecture, operating systems, and databases.