新闻动态

首页 >> 新闻动态
博士生马郓赴意大利参加2015年国际万维网大会
2015年5月18--22日,2015年第24届国际万维网大会(WWW2015)在意大利佛罗伦萨召开。博士生马郓参加了此次会议，宣讲了长文“Measurement and Analysis of Mobile Web Cache Performance"，主要完成人还有：刘儇哲副教授...
2015-05-27
美国西密歇根大学的杨子江教授访问重点实验室并作学术报告
2015年5月7日,美国西密歇根大学的杨子江教授访问重点实验室，并做了题为“Explaining Software Failures Cascade Fault Localization"的学术报告。张路教授、熊英飞研究员、郝丹副教授等与杨子江教授就软件调试和软件...
2015-05-21
美国麻省理工大学邱晓康研究员访问重点实验室
2015年4月10 日，美国麻省理工大学邱晓康研究员访问了重点实验室，并做了题为“Natural Proofs for Computer-Aided Programming"的报告。谢冰、黄罡、张路教授，熊英飞研究员等参加了报告并进行了热烈的讨论。会后，...
2015-05-07
王亚沙教授参加中国智慧城市产业技术创新战略联盟2015年成员大会暨“一带一路”与...
2015年4月23-24日在新疆克拉玛依市中国智慧城市融合发展高峰论坛,会议期间召开了863智慧城市(二期)项目工作会以及智慧城市成果与需求对接工作会。王亚沙教授参加了本次会议，并针对北京大学参与的“以人为中心的智慧...
2015-05-07
谢冰教授应邀出席江苏盐城大数据产业园发展论坛
2015年4月23日，谢冰教授应邀出席了江苏盐城大数据产业园发展论坛，作为嘉宾介绍了在大数据、智慧城市方面的研发工作。此项工作是作为本所与软通动力公司合作的部分工作。
2015-05-07
首页上页1...6364656667...73下页尾页

高可信软件技术教育部重点实验室(北京大学) , Key Lab of High Confidence Software Technologies(PKU), Ministry of Education