新闻动态

首页 >> 新闻动态
黄罡教授入选北京市卓越青年科学家计划项目
北京市教育委员会于12月18-24日关于公示北京市卓越青年科学家计划项目申请人名单。名单中北京大学共有8名老师入选，其中有重点实验室黄罡教授。
2018-12-19
学生尹航和张乐聪参加第九届中国计算机学会服务计算学术会议“易华录杯”软件服务...
孙艳春副教授指导软件所学生尹航和张乐聪参加第九届中国计算机学会服务计算学术会议“易华录杯”软件服务创新大赛，其中尹航同学的作品“基于StackOverflow的问题驱动的Java代码检索服务”获得二等奖，张乐聪同学的作...
2018-11-08
孙艳春副教授在中国大学MOOC网上开设“软件工程”课程
孙艳春副教授在中国大学MOOC网上开设“软件工程”课程，该课程2018年9月20日正式发布，截止到2018年10月19日，已经有一万多人选课，并获得好评。
2018-11-08
图灵奖获得者Robert Kahn博士访问重点实验室
2018年10月31日上午，2004年图灵奖获得者Robert E.Kahn博士及其夫人Patrice Lyons一行应邀到访北京大学。 在与北京大学校长郝平教授在临湖轩会见后，Robert E. Kahn博士访问了信息科学技术学院软件所。梅宏院士介绍了...
2018-11-08
黄罡教授担任项目负责人的国家重点研发计划重点专项项目启动暨实施方案论证会顺利召开
2018年10月30日，由黄罡教授担任项目负责人的国家重点研发计划重点专项《人机物融合的云计算架构与平台》项目启动暨实施方案论证会在北京大学顺利召开。科技部高技术中心信息处项目主管贾燕红、张军，项目专家组北京...
2018-11-08
首页上页1...2728293031...76下页尾页

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