2011年11月8日上午，北京市科学技术委员会主任闫傲霜率调研组一行在北京大学科学研究部副部长蔡晖、信息学院院长梅宏教授的陪同下来到高可信软件技术重点实验室。

2011年11月8日上午，北京市科学技术委员会主任闫傲霜率调研组一行在北京大学科学研究部副部长蔡晖、信息学院院长梅宏教授的陪同下来到高可信软件技术重点实验室。随同前来的包括市科委副主任郑焕敏、市经信委副主任万新恒，市科委办公室主任周晓柏、发展计划处处长侯国光、电子信息与装备制造处处长万荣、生物医药处处长巴纪兴，以及杨立冰、李玮等。王亚沙副教授介绍了实验室的研究工作及成果，并就实验室在智慧城市领域的研究进展和计划进行了较为详细的汇报。调研组成员对实验室取得的一系列科研成果表示充分肯定，并对智慧城市的研究方向提出了建议。信息学院党委书记、副院长魏中鹏，院长助理蒋云，焦秉立教授、吴文刚教授、张路教授、李戈副教授等也参加了座谈交流会。