新闻动态-高可信软件技术教育部重点实验室(北京大学)

关于

新闻动态

首页 >> 新闻动态

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

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

2017-06-09

重点实验室程序生成论文被机器学习顶级会议 ICML-17 接受

重点实验室论文《Coupling distributed and symbolic execution for natural language queries》被机器学习顶层会议ICML--17接受。此前该论文曾在ICLR--17研讨会（workshop)上展示。该文将神经网络执行和离散的符号化...

2017-05-19

意大利米兰理工学院Carlo Ghezzi教授作客“信息技术与信息化”名家讲坛

2016年4月26日下午，意大利米兰理工学院Carlo Ghezzi教授作客北京大学“信息技术与信息化”名家讲坛，作了题为“Tolerating uncertainty via evolvable--by--design software"的学术报告。报告会由谢冰教授主持，梅宏...

2017-05-19

第6届亚洲高级软件工程研讨会在重庆成功召开

2017年5月3--5日，由西南大学承办，本重点实验室协办的第6届亚洲高级软件工程研讨会在重庆成功召开，来自四大洲不同国家不同高校的40余名科研工作者参加了此次研讨会。本实验室梅宏院士，金芝教授，赵海燕、周明辉副...

2017-05-19

张大庆教授课题组的无线感知新理论作为旗舰杂志封面文章发表

2017年1月5日，由张大庆教授课题组提出的基于菲涅耳区模型的无线感知新理论，以《迈向厘米级的Wi-Fi人体行为感知》（Toward centimeter--scale human activity sensing eith Wi--Fi signals)为题，在IEEE Computer作...

2017-04-12

首页上页1...3738394041...76下页尾页