好像，通常也就是讲“4级教授”，“5级教授”，而不再区分究竟是“5级教授”，还是“5级副教授”了，对吧？

觉得这个名单是人家校内相关人士提供的，应该是准确的。