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

1fcdfe02159e29b5e36d77963988f32b.jpeg

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

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

目前大会火热报名中!

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

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

4da7e7cdebfbb6812617e0d93716ee99.png

✦  +

+

论坛巡礼

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

论坛名称:程序设计教育

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

论坛简介:

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

日程安排

Schedule

408d41f33df20b9b95d1fe34c048aecb.png

论坛主席

Forum Chairmen

aa727ac0d1b5376ce0207fbc43306030.png

陈立前

国防科技大学副教授

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

893405d00b9b53dd9cbc2a08e6f7a8b7.png

卜磊

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

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

3d842f45f14235be03ecb163f613bcc3.png

李戈

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

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

报告及讲者

Reports and reporters

8b9571bb9607db855895b0d21f191797.png

张春元

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

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

报告题目:

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

报告摘要:

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

92c3985ea2cbeb34e546b743c2d53d03.png

嵩天

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

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

报告题目:

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

报告摘要:

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

3237b55e6e66e32436a197cac6c1e5ab.png

陈钢

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

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

报告题目:

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

报告摘要:

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

235ac12f3c0affb4804d0888529b5ad2.png

冯新宇

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

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

报告题目:

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

报告摘要:

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

b61fb94dda5f06aed0e1a3fe5e55cdbb.png

戴开宇

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

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

报告题目:

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

报告摘要:

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

3d01c114e593aab6cd99747c2e4fd78f.jpeg

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值