新闻动态

首页 >> 新闻动态
陈钟教授团队获全球区块链黑客马拉松东京站一等奖
2018年4月20--22日，全球区块链黑客马拉松东京站（LongHash Tokyo Hackathon）竞赛在日本东京举行。陈钟教授团队的学生刘超、李安然、陈继业获一等奖。 参赛的137名选手来自全球12个国家和地区，以2～5人为单位组成3...
2018-05-17
基于情境的安全攸关软件的构造方法与运行机理研究“青年973项目举行年度总结会
2018年1月27日，由熊英飞研究员负责，郝丹、刘譞哲副教授参研的青年973项目“基于情境的安全攸关软件的构造方法与运行机理研究”在北京大学召开年度总结会。梅宏院士、吕荣聪、钱德沛、张健、黄罡教授等专家和周扬帆...
2018-05-17
金芝、张大庆教授入选2017年度中国计算机学会杰出演讲者
2018年2月1日，中国计算机学会（CHina Computer Federation,CCF)发布了2017年度杰出演讲者名单，金芝和张大庆教授入选。 自2017年12月启动候选人征集和评审工作以来，工作组统计了2017年CCF活动中的演讲者情况，经过...
2018-03-01
屈婉玲教授获中国计算机学会2017年度“CCF夏培肃奖”
2018年1月26日，中国计算机学会（China Computer Federation,CCF)公布了2017年度“CCF夏培肃奖”评选结果。曲婉玲教授因其在离散数学和算法课程的建设与教学中所做出的杰出贡献获此殊荣。 屈婉玲教授长期专注于“离散...
2018-03-01
汪定博士获得2017年度CCF优秀博士学位论文
2018年1月3日，中国计算机学会（China Computer Federation ,CCF)发布了2017年度CCF优秀博士学位论文奖获奖者名单，汪定博士（导师王平教授）“口令安全关键问题研究”论文入选。"CCF优秀博士学位论文奖“授予在计算...
2018-03-01
首页上页1...3233343536...76下页尾页

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