周巢尘,苏宝桢

周巢尘院士为"科学与中国—四川青年创新论坛作报告
杨芙清院士,梅宏教授与周巢尘院士一起讨论高可信软件技术教育部重点
实验室学术委员会委员及顾问成员包括中科院软件所周巢尘院士,复旦
学者组成大赛指导委员会,其中包括林惠民,沈昌祥,张钹,周巢尘四位院士
研究员和中国科学院软件研究所周巢尘研究员2018"ccf终身成就奖,以