ChinaSoft 论坛巡礼 | 程序设计教育论坛

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第1张图片

2022年CCF中国软件大会(CCF ChinaSoft 2022)将于2022年11月25-27日线上举行。预期将有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、王怀民、郑纬民、蒋昌俊等10余位院士莅临。

本次大会主题是“聚焦产教研用协同创新,提升关键软件供给能力”,包括学术、工业、教育等论坛活动40余场,期待您的参与!

目前大会火热报名中!

点击文末“阅读原文”进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2022

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第2张图片

✦  +

+

论坛巡礼

本文特别介绍将于11月27日举办的【程序设计教育】论坛

论坛名称:程序设计教育

时间:2022年11月27日下午13:30-17:00

论坛简介:

       为进一步深化高等院校计算机程序设计课程教学改革,加强各高校教师之间的沟通交流,全面提升高校本科计算机程序设计课程的教学质量,CCF中国软件大会自2020年开始设立“程序设计教育论坛”。论坛的主旨是进一步深化高等院校计算机程序设计课程教学改革,加强各高校教师之间的沟通交流,全面提升高校本科计算机程序设计课程的教学质量。

日程安排

Schedule

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第3张图片

论坛主席

Forum Chairmen

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第4张图片

陈立前

国防科技大学副教授

   主要从事程序设计、软件工程、形式化方法相关教学科研工作。在ACM/IEEE Transactions、POPL、FSE、ASE等期刊会议上发表论文70余篇,曾获ACM SIGSOFT杰出论文奖。研究成果获省部级科技进步一等奖1项、二等奖1项。部分成果已在航天、国防等领域重大工程中应用。湖南省一流课程负责人,出版教材3部,曾多次在全国性、省部级、校级教学比赛中获一等奖。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第5张图片

卜磊

南京大学教授、博士生导师

    长期从事计算机理论基础和程序设计课程教学,入选高校计算机专业优秀教师奖励计划,南京大学创新育人奖、多次计算机系毕业生“我心目中的好课程"等;研究工作主要围绕大规模复杂软件的可信保障,在实时混成系统形式验证方面取得系列创新性结果,发表在《中国科学》、IEEE TC、IEEE TCAD、ACM TCPS、RTSS等,自研工具已在列控、航天、物联网等领域得到应用验证,被写入国际权威教科书,获CCF青年科技奖、NASAC青年软件创新奖等。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第6张图片

李戈

北京大学长聘教授、博士生导师

    教育部长江学者。长期聚焦于程序理解、程序生成、深度学习等技术的研究,是国际上最早从事“基于深度学习的程序理解与生成”研究并取得代表性成果的研究者,在多个国内外顶级会议与期刊发表相关论文50余篇,多篇论文被国际学者认为是“开创性成果”,并被广泛引用,多次获ACM杰出论文奖。在软件与人工智能领域的多个国际会议担任程序委员会共同主席与PC。曾获教育部科技进步一等奖,CCF科技发明一等奖,北京市科技发明二等奖,中创软件人才奖。教学课程被首批认定为“国家级一流线下课程”和“国家级一流线上课程”,并多次获省部级教学奖。科研转化成果aiXcoder为航天领域的重大工程、金融与IT领域的多家大型企业及数十万国际开发者提供服务。

报告及讲者

Reports and reporters

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第7张图片

张春元

国防科技大学教授、博士生导师

主要从事大学计算、计算机体系结构领域的研究和教学及教学管理工作。国家精品课程《大学计算》主讲教员之一,军队精品课程《计算机体系结构》课程负责人。工程教育认证计算机专委会副秘书长,学位与研究生教育学会信息管理委员会副主任委员,国家本科院校合格评估专家,军队院校计算机教学联席会主任。获国家科技进步二等奖1项,首届全国优秀教材奖(高等教育类)一等奖1项,国家教学成果二等奖两项,已出版教材五部,专著三部。

报告题目:

以学生为中心,以产出为导向——面向工程教育专业认证的《大学计算》课堂设计实例

报告摘要:

    以国防科技大学大一新生的数理公共基础课《大学计算》为实例,介绍国防科技大学《大学计算》课程组如何面向工程教育认证“以学生为中心,以产出为导向”的核心理念,将毕业要求逐步细化落实到学习成绩,实现毕业要求的可量化评价。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第8张图片

嵩天

北京理工大学教授、博士生导师、网络空间安全学院副院长

社会治理智联网技术工业和信息化部重点实验室副主任,北京市青年教学名师,中国计算机学会杰出会员,首都市民学习之星,教育部“Python先进计算课程群”虚拟教研室负责人,全国高等学校计算机教育研究会青工委主任。主要从事新一代互联网体系结构、网络攻防安全、系统与智能安全、智慧教育技术等方向研究,主持国家重点研发计划项目1项、国家自然科学基金重点及面上项目6项,各类科研项目30余项,发表学术论文90余篇。主持建设2门国家级一流本科课程(线上),累计在线学习者超过670万。作为研发负责人,主持建设国家高等教育智慧教育平台。获高等教育国家级教学成果奖一等奖1项、北京市教育教学成果特等奖和一等奖4项。

报告题目:

强化Python教学:课程学习认知评价与协同考试探索

报告摘要:

    报告聚焦教与学评价改革,提出课程从“一个分数评价”到“学习认知评价”转换的理念,结合Python语言课程,给出适用于课程评价的多维度“学习认知评价”模型,提出基于考试的学习认知评价实施方法,阐述正向实施效果。进一步,依托Python先进计算课程群虚拟教研室,面向全国高校,提出课程“协同考试”方案及2022年秋季学期实施路线,推动课程教学质量全面对标与内涵建设。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第9张图片

陈钢

南京航空航天大学教授、博士生导师

    国家级专家、CCF杰出会员,EDA技术白皮书优秀编审。主要研究领域:函数式语言、程序语言设计、高阶定理证明、类型系统、EDA等,主讲“函数式语言编程基础”本科选修课以及“形式化工程数学”研究生课。著作“OCaml语言编程基础教程”。

报告题目:

函数式编程同EDA软件设计的融合

报告摘要:

    在中国计算机教育体系中,有两类课程非常稀缺,一类是函数式语言程序设计课程,另一类是EDA程序设计课程。在这一讲中,我们介绍怎样用函数式语言OCaml来讲解EDA后端软件设计,让同学们在一门课程中学到函数语言编程的基本方法,同时掌握EDA软件开发的基础知识。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第10张图片

冯新宇

南京大学教授、博士生导师

    主要研究方向为程序设计语言理论和形式化程序验证。自2010年以来先后在中科大和南京大学开设《程序设计语言基础》、《程序设计语言理论》、《程序设计语言的形式语义》和《计算机程序的构造与解释》课程。

报告题目:

本科生第一门程序设计课程的建设与体会

报告摘要:

    南京大学从2019年开始,引入伯克利大学的CS61a(计算机程序的构造与解释)作为大一新生的程序设计基础教学的备选课程。本次报告将介绍这门课程的基本情况,以及在南京大学的开设情况,并结合实践经验介绍本人对本科生第一门程序设计课程的教学体会。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第11张图片

戴开宇

复旦大学高级讲师、教师教学发展中心特邀研究员

    主要研究兴趣为现代教育信息科学与技术等。2018年度入选首届全国“高校计算机专业优秀教师奖励计划”。2020年获选复旦大学毕业生评选“学生心目中的好老师”。主持教改项目20项左右。近年来作为主持人获复旦大学校级教学成果奖一等奖,上海市教学成果奖二等奖,复旦大学首届教学创新大赛一等奖,超星主办的上海市首届移动教学大赛一等奖等;多门课程获得上海市一流本科课程、上海市本科重点课程、校级思政金课和思政标杆课程等荣誉。

报告题目:

体现两性一度的《程序设计》课程混合式教学

报告摘要:

    围绕《程序设计》课程的教学设计和实践,介绍如何围绕“以学为中心”的理念,结合问题导向学习、项目式学习、教育信息化技术,实现体现“两性一度”的混合式教学。并强调了通专结合的教学理念,以及注重能力培养和立德树人的教学目标。

ChinaSoft 论坛巡礼 | 程序设计教育论坛_第12张图片

你可能感兴趣的:(软件工程)