看过操作系统、操作系统现代观点，觉得GrayNutt很不错那么他任教的科罗拉多大学的操作系统研究生专业怎么样呢？