新闻动态

首页 >> 新闻动态
美国卡耐基梅隆大学Limin Jia教授访问重点实验室
2015年4月24日，美国卡耐基梅隆大学Limin Jia教授访问重点实验室，做了题为"Protect Users  Data with Information Fiow Control"的学术报告，介绍了她在计算机系统安全和形式化语言方面的研究工作。Jia教授在会后同...
2015-05-07
维多利亚大学Margaret-Anne (Peggy) Storey教授访问
2015年4月24日,维多利亚大学Margaret-Anne(Peggy)Storey教授访问重点实验室，做了“Selecting Research Methods for Studying a Participatory Culture in Software Development"的学术报告。周明辉副教授接待了访问...
2015-05-07
发展战略研究项目“面向IT领域的开源技术发展策略研究”的讨论会和国际开源联盟OW2...
2015年4月26日，梅宏院士承担的中国科学院学部发展战略研究项目“面向IT领域的开源技术发展策略研究”的讨论会在北大举行，同时国际开源联盟OW2的中国董事协调会也一起举行。与会单位包括北京大学，国防科大，北京航...
2015-05-06
金芝教授和赵海燕副教授参加在意大利布拉举行的“Engineering Adaptive Systems”...
2015年4月8-10日，金芝教授和赵海燕副教授应意大利米兰理工大学Carlo Ghezzi教授邀请，参加了在意大利布拉举行的“Engineering Adaptive Systems"研讨会，并分别在会上做了题为”Knowledge Driven Context Awareness...
2015-05-06
黄罡教授参加华为无线网络技术大会并做“云端融合时代的软件开发挑战与机遇”特邀报告
2015年4月24日，黄罡教授应邀赴上海参加华为无线网络技术大会并做“云端融合时代的软件开发挑战与机遇”特邀报告。华为无线网络技术大会是华为无线通信事业部的年会技术大会，该事业部1万多员工中的300多名高层和技术...
2015-05-06
首页上页1...6465666768...73下页尾页

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