测试经理
其他
推荐课程
average > 0 ? $model->average . '分' : '10.0分' ?>

程序设计语言教育的观察和思考

教授，南京大学计算机科学与技术系博士生导师。分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago （TTIC）任研究助理教授（Research Assistant Professor）。2010年5月至2017年12月于中国科学技术大学计算机科学与技术学院任教授。2018年1月起加入南京大学计算机系。主要从事程序设计语言理论、程序验证、并发理论等方面的研究，在POPL、PLDI、CAV、LICS和ACM TOPLAS等知名国际会议和期刊上发表论文多篇。担任APLAS 2015、APLAS 2017和SETTA 2017等会议的大会主席/程序委员会主席，并多次担任POPL、PLDI、ICALP、ESOP等国际知名会议的程序委员会委员。获PLDI 2019杰出论文奖、2016年度CCF NASAC-东软青年软件创新奖、2015年度中创软件人才奖，入选教育部新世纪优秀人才支持计划。

教授，南京大学计算机科学与技术系博士生导师。分别于1999年和2002年在南京大学获学士和硕士学位；2007年于耶鲁大学获博士学位。2007年9月至2010年5月于Toyota Technological Institute at Chicago （TTIC）任研究助理教授（Research Assistant Professor）。2010年5月至2017年12月于中国科学技术大学计算机科学与技术学院任教授。2018年1月起加入南京大学计算机系。主要从事程序设计语言理论、程序验证、并发理论等方面的研究，在POPL、PLDI、CAV、LICS和ACM TOPLAS等知名国际会议和期刊上发表论文多篇。担任APLAS 2015、APLAS 2017和SETTA 2017等会议的大会主席/程序委员会主席，并多次担任POPL、PLDI、ICALP、ESOP等国际知名会议的程序委员会委员。获PLDI 2019杰出论文奖、2016年度CCF NASAC-东软青年软件创新奖、2015年度中创软件人才奖，入选教育部新世纪优秀人才支持计划。

课程费用

5800.00 /人

课程时长

2天

成为教练

课程简介

程序设计语言是计算机科学中的重要领域，与计算机理论、操作系统、体系结构等经典领域并列。然而，在国内的计算机教学中，相关课程的系统性和完整性与其他领域相比还有较大差距。本报告将介绍程序设计语言领域的课程和教材现状，同时结合程序设计语言的一些发展趋势，探讨该领域可能开展的课程和教材改革。

目标收益

培训对象

课程内容

程序设计语言是计算机科学中的重要领域，与计算机理论、操作系统、体系结构等经典领域并列。然而，在国内的计算机教学中，相关课程的系统性和完整性与其他领域相比还有较大差距。本报告将介绍程序设计语言领域的课程和教材现状，同时结合程序设计语言的一些发展趋势，探讨该领域可能开展的课程和教材改革。

课程费用

5800.00 /人

课程时长

2天

预约体验票 我要分享

近期公开课推荐

近期公开课推荐

活动详情

提交需求