梅宏

北京大学教授

高可信软件技术教育部重点实验室主任

中国计算机学会前理事长