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