北京大学高可信软件技术教育部重点实验室博士研究生唐浩获得2015年微软学者奖学金资助

北京大学高可信软件技术教育部重点实验室博士生唐浩,经过申请、面试、评审环节,获得2015年微软学者奖学金资助。并在2015年10月28日举行的第17届“二十一世纪的计算”学术研讨会上与其他11位获奖者一道接受了微软亚太研发集团主席洪小文博士的颁奖,并与麻省理工学院教授、2014年度图灵奖获得者Michael Stonebraker博士座谈。

微软就学者奖学金是微软亚洲研究院面向亚太地区重点高校计算机科学、电子工程、信息科学、应用数学专业低年级博士研究生的项目,于1999年启动实施。该项目用于发现、鼓励和资助有潜力的优秀博士生更好地开展基础研究工作。获奖者不仅得到微软亚洲研究院所提供的10000美元资助,还将被邀请与全球顶尖的研究员共同进行学术研究。

今年的评选活动吸引了来自中国大陆、香港、台湾,以及日本、韩国、新加坡等地四十余所著名高校和研究机构的近百名博士生申请。经过评委严格的考核和评审,共有13名计算机领域的优秀博士生脱颖而出,并获得来自微软研究院提供的10000美元资助。

唐浩2013年获北京大学信息科学技术学院理学学士学位,师从高可信软件技术教育部重点实验室张路教授攻读博士学位。他在软件分析和测试方面展开较深入的研究,阶段性成果被程序语言领域历史最久、水平最高的国际会议—-第42届程序语言原理会议(ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,POPL)所接收,取得北京大学研究团队在该会议上零的突破(此前,在该会议四十多年的历史上,中国大陆研究机构作为第一署名单位的学术论文仅一篇)。

关注我们
扫描二维码
关注时代学者微信公众号,及时获取更多信息

QR Code 手机访问 微信分享