姚期智,是我国第一位获得图灵奖的科学家,也是近代国际计算机学术领域最重要的人物之一。
姚期智先生毕业于中山大学计算机系,后到新加坡国立大学攻读博士学位。在新加坡的时候,他一手创建了处理器间消息交换的并行操作系统,意义深远。1976年,他加入了美国西北大学的计算机科学系。在那里,他先后建立了“可扩展处理器”和“形式化验证”两个学科领域的研究组,开创了计算机学科领域的一系列表述性理论,完成了对并发和分布式环境模型在可扩展性设计和反映性验证上的全面深入探讨,具有重要的理论研究价值和现实意义。
在技术成就方面,姚期智的“可扩展处理器”是解决“多核时代”的一个重要尝试,也是未来计算机发展的方向之一。