新闻动态

首页 >> 新闻动态
IOWA State University的Carl K. Chang教授来访重点实验室
2018年3月13日-3月18日IOWA State University的Carl K. Chang教授（欧洲科学院院士、IEEE Fellow）访问软件所，与谢冰教授、金芝教授、张路教授、孙艳春副教授和郝丹副教授商讨引智基地2018年工作计划以及暑期课程的...
2018-05-17
意大利米兰理工大学Carlo Ghezzi教授来访重点实验室
应金芝教授邀请，意大利米兰理工大学的Carlo Ghezzi教授，和他的学生现维也纳理工大学的Christos Tsignakos博士，于2018年4月16日到4月21日访问了重点实验室，访问期间，Carlo Ghezzi教授和Christos Tsignakos博士与...
2018-05-17
王腾蛟教授获2017年度日本大川研究助成奖
日前，日本大川情报通信基金财团（以下简称大川财团）举办了2017年度颁奖仪式。重点实验室副主任王腾蛟获大川研究助成奖（Okawa Foundation Research Grant）资助，以表彰其在大数据查询处理等研究方向取得的成果和新...
2018-05-17
刘譞哲副教授课题组论文入选《电气电子工程师学会软件工程汇刊》亮点文章
近日，北京大学信息科学技术学院、高可信软件技术教育部重点实验室刘譞哲副教授课题组关于移动互联网软件的用户情境分析和理解的长文《基于大规模应用商店服务日志数据的移动软件使用模式挖掘研究》（Understanding ...
2018-05-17
陈钟教授团队获全球区块链黑客马拉松东京站一等奖
2018年4月20--22日，全球区块链黑客马拉松东京站（LongHash Tokyo Hackathon）竞赛在日本东京举行。陈钟教授团队的学生刘超、李安然、陈继业获一等奖。 参赛的137名选手来自全球12个国家和地区，以2～5人为单位组成3...
2018-05-17
首页上页1...3132333435...76下页尾页

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