许立荣(许立荣:致力于打造更高效,更安全,更可信的操作系统!)



许立荣,知名计算机科学家,计算机软件与理论专家,致力于打造更高效,更安全,更可信的操作系统。他先后在中科院计算所学习和工作30年,被誉为中国操作系统研究领域的奠基人之一,曾获得国家科技进步一等奖、中科院杰出科技成就奖、中国计算机学会首届“计算机科学与技术研究生拔尖计划”创新奖等重大科技奖项。


他主要研究领域是操作系统、编译技术和程序分析与验证等。他的研究成果极具实用价值,产生了广泛的社会影响。他和他的团队研发出自主知识产权的操作系统分布式管理系统,实现了操作系统的高效管理、可扩展性和安全性。目前,他正在致力于构建新一代微内核操作系统——SPIN

相关信息