您位于: 首页 新闻动态 高可信软件技术引智基地启动

高可信软件技术引智基地启动

2017年6月6日,高等学校学科创新引智基地(简称111计划),即高可信软件技术引智基地,在梅宏院士和该基地学术大师Carl Chang的共同主持下正式启动了。谢冰、金芝、张路教授,郝丹副教授在北京大学参加了启动会议,并与梅宏院士、Carl Chang教授讨论引智基地的具体举措。