新闻动态

首页 >> 新闻动态
刘譞哲副教授、黄罡教授获2019年度《中国科学•信息科学》（英文版）五年高影响力...
    2020年9月17日，SCIENCE CHINA Information Science（《中国科学：信息科学》）召开编委会。会上，经期刊编委会和编辑部推荐，依据文章的科学性、影响力等指标，北京大学计算机科学技术系刘譞哲副教授作为第一作者、黄罡教授为通讯作者发表于在2014年...
2020-10-13
谢涛教授荣获2020年“科学探索奖”
2020年9月25日，第二届“科学探索奖”50名获奖名单正式揭晓。其中：北京大学7位教师获奖，谢涛教授获此殊荣。获奖人每人在未来5年内获得腾讯基金会总计300万元人民币奖金，并且可以自由支配奖金的使用。“科学探索奖”是面向基础科学和前沿技术领域，支持...
2020-10-13
谢涛教授等北京大学7位教师获2020年“科学探索奖”
9月25日，第二届“科学探索奖”获奖名单正式揭晓。北京大学科维理天文与天体物理研究所研究员东苏勃（天文和地学）、城市与环境学院教授朴世龙（天文和地学）、化学与分子工程学院教授陈兴（化学新材料）、微纳电子学系研究员黄芊芊（信息电子）、计算机科...
2020-09-27
刘譞哲副教授获首个中国计算机学会服务计算“杰出成就奖”
2020年8月27日，从中国计算机学会（CCF）主办的第11届全国服务计算会议（NCSC 2020）上获悉，刘譞哲副教授，获得首个CCF服务计算“杰出成就奖”。为调动服务计算及相关领域专业工作者的积极性，促进服务计算及相关领域的创新和进步，自2020年起，中国计算...
2020-08-31
许进教授团队生物计算机取得突破成果
生命体是一个以生物大分子为材料构成的人类已知的最智慧的信息处理“机器”。所以，人类近几十年来，意在用生物材料研发信息处理的计算机，称为生物计算机。当前的生物计算机主要集中于DNA计算机的理论、实现技术与方法展开研发。  DNA计算机目前的研究方...
2020-08-31
首页上页12345...54下页尾页

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