ChinaSoft 论坛巡礼 | 系统软件教育
2022年CCF中国软件大会（CCF ChinaSoft 2022）将于2022年11月25-27日在线上举行举行。预期将有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、王怀民、郑纬民、蒋昌俊等10余位院士莅临。
本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场，期待您的参与！
目前大会火热报名中！
点击文末“阅读原文”进入官方注册通道：
https://conf.ccf.org.cn/chinasoft2022
✦ +
+
论坛巡礼
本文特别介绍将于11月27日举办的【系统软件教育】论坛。
论坛名称：系统软件教育
时间: 2022年11月27日下午13:30-17:00
论坛简介：
计算机系统及其生态链的构筑迫切需要理解和掌握编程语言、程序分析和系统软件原理与技术方面的人才，为核心系统研发提供中坚力量。系统软件类课程主要讲授编程语言的原理与机制、数据结构与算法、编译原理和技术、操作系统原理与设计实现等。通过这些课程，不但要培养学生掌握语言与系统的理论基础，使之能建立准确描述真实系统的模型并利用模型预测系统行为；而且要强化系统实践，培养学生分析与构造结合底层硬件特性的系统软件研发能力。
为推进各高校在培养学生程序设计能力、编译原理与操作系统等系统软件研发能力方面的进程，交流和改进课程实践体系，了解业界进展与需求，中国计算机学会系统软件专业委员会和软件工程专业委员会特举办“系统软件教育论坛2022”，邀请国内从事程序设计及系统软件类课程教学和科研的高校教师和从事计算机系统研发的业界专家进行报告分享和交流研讨。期望通过本次论坛，能建立各高校教师之间、高校与业界之间的密切联系，推动更多的高校进一步推广和改进程序设计和系统软件类课程的相关课程教学。
日程安排
Schedule
论坛组织者
Forum Organizer
张昱（中国科学技术大学）
中国科学技术大学副教授，CCF杰出会员、系统软件专委和教育专委常务委员，ACM中国操作系统分会副主席、计算机科学教育分会常务理事，教育部高等学校计算机类教学指导委员会计算机系统专家委员会委员。
主要研究方向为面向AI和量子计算等新领域的编程系统、软件分析、系统优化等。在国内外发表论文100余篇，出版编译原理和程序设计语言原理相关的教材和配套参考书9本、译著2本。曾获宝钢优秀教师奖(2021年)、中国高校计算机专业优秀教师奖(2020年)、中国科大首届唐立新教学名师奖(2018年)等。
陈渝（清华大学）
清华大学计算机系长聘副教授，博导，MIT访问学者，CCF系统软件专委常务委员。
主要研究方向包括操作系统，编译原理，程序分析，系统可靠性与性能优化等。先后负责和参与了二十多余项国内外课题的开发，包括国家自然科学基金项目、863项目、核高基项目等，获得国家科技进步二等奖和省部级一等奖。发表高水平学术论文五十余篇，担任国内外有影响力学术会议的主席和程序委员会委员等。承担清华大学计算机系的操作系统、编译原理、高级操作系统等课程的教学工作。
论坛嘉宾
Forum Guest
臧斌宇
上海交通大学软件学院教授、院长。全国优秀博士学位论文指导教师，“挑战杯”全国竞赛特等奖指导教师。兼任中国工程教育认证计算机分委员会副主任委员、教育部软件工程教学指导委员会副秘书长、示范性软件学院联盟副理事长、中国计算机学会杰出会员。
主要从事系统软件方向的研究，致力于提高计算机系统的性能、可靠性和安全性。致力于计算机核心课程教学改革。主讲《计算机系统基础》、《编译原理与技术》等课程。
报告题目：
系统软件本科教学中的若干问题思考
报告摘要：
工程教育认证从学生能力培养出发，对传统知识传授型教学提出了挑战。但是解决复杂工程问题的能力又离不开扎实的基础。因此，我们需要研究：如何设置课程体系，合理安排每门课的教学内容，加强前后序课程的衔接，如何统筹安排课堂教学、课后实践、学生创新活动等教学环节。本人所在单位为国家特色化示范性软件学院，主攻关键基础软件。本报告将结合系统软件本科教学，分享对上述问题的理解。
张敏
华东师范大学教授、博导，软件工程学院副院长。CCF形式化方法专委会委员，人工智能学会逻辑专委会委员。2019“高校计算机专业优秀教师奖励计划”获得者，主讲《编译原理与实践》曾获上海市教委重点课程建设、上海市精品课程建设。曾获“面上自主可控软件的研究生国际协同培养创新实践” 上海市教学成果二等奖（排名第二）。
主要从事计算机软件与理论，可信软件度量与评估、形式化方法与验证等方面的研究。承担了国家自然科学基金面上基金、青年基金等项目，在可信技术方面取得了一系列的研究成果，形成对航空航天、智能领域的示范应用，相关成果分别发表在国内外顶级和知名期刊和会议上。作为副主编之一，参与了全国计算机技术与软件专业资格（水平）考试用书 《软件测评师教程》的编写工作。
报告题目：
从加法到减法—新工科下的系统软件课程群的融合教学思考
报告摘要：
未来五年是全球新一轮科技革命和产业变革的发展期。社会对于软件技术领域的高端人才需求持续增加。当前的软件人才培养面临知识体系复杂，技术更新快，学生学习压力大的挑战，本报告讨论专业人才培养的定位，探索软件工程专业课程群的融会贯通设计，以及系统软件课程群对人才培养支撑的思考。
韩明峰
烟台理工学院教授，主要讲授操作系统、实时嵌入式操作系统和计算机网络等课程。在教学中注重将工程应用和产品研发的典型案例引入到课堂中，是我国经典教材《计算机网络》(第八版 谢希仁)主审。
主要从事智能变电站自动化系统和实时嵌入式系统等方向的研发。作为主要完成人研发的DF3003变电站自动化系统获山东省科技进步二等奖，DF3300E变电站自动化系统获山东省科技进步三等奖，E3000变电站自动化系统获烟台市科技进步二等奖。以第一作者发表《EI》核心收录期刊论文6篇，以首位发明人获国家发明专利授权9件。2012年获第六届“烟台市青年科技奖”。
报告题目：
实践视角下操作系统中若干概念或原理的探讨
报告摘要：
利用OS实践推进OS教材的进步。分析OS实例同步中的事件和条件，抽出核心知识点，建议用来扩展OS原理教学。分析UP下忙等待同步的特点，结合OS实例在SMP下忙等待同步的实现，深入思考和评价权威真题在UP下的忙等待，以及国外权威操作系统教科书在SMP下信号量的实现方式，从而为OS原理教学提出改进建议。
孟宁
系统软件技术专家，著作有《代码中的软件工程》和《庖丁解牛Linux操作系统分析》等。
现任职于中国科学技术大学软件学院，主讲软件工程硕士课程“高级软件工程”和“Linux操作系统分析”等；获得国家一流本科课程认定、国家精品在线开放课程认定、安徽省教学成果奖等多项教学成果；与华为、龙芯、OPPO等高科技企业有长期的系统软件研发合作关系。
报告题目：
操作系统的过去、现在和未来展望
报告摘要：
操作系统从无到有经历了一个自然演化过程。在这个演化过程中操作系统的结构和形态在不断变化，但是它负责管理计算资源、存储资源和I/O资源这一核心职责并没有发生变化。守正创新，抓住不变的主线，我们沿着不断演变的操作系统的结构和形态，从操作系统的起源、经典操作系统的结构和不同的分布式操作系统，回顾过去，展望未来，面向万物互联的智能时代，操作系统将会面临哪些关键挑战、将会演变成为怎么样的结构和形态？抛砖引玉，一起探讨。
翟高寿
博士，北京交通大学副教授，计算机科学系副主任，软件评测国家认可实验室技术负责人。CCF高级会员，新工科联盟系统能力推进工委会成员。
主讲的《操作系统》被评为北京高等学校“优质本科课程”及北京高等学校优秀专业课主讲教师(2020)。评为华为云与计算先锋教师(2020)和教育部-华为智能基座“栋梁之师”(2021)，获北京市高等教育教学成果奖二等奖一项(2018)。撰写出版操作系统教材4部、发表教改论文16篇，主持省部级教改项目8项。从事操作系统、系统软件及系统安全研究工作，参加科研项目70余项（含主持29项），发表科研论文60余篇，获得软件著作权7项，申请专利3项。
报告题目：
以操作系统为中心的系统软件教学研究探索与实践
报告摘要：
立足于操作系统在计算机系统中的核心地位及其与硬件运行平台和诸多系统软件之间的密切关系，面向操作系统国家自主可控事业人才培养战略目标，笔者以北京交通大学计算机类专业教学为例，以《操作系统》、《软件开发综合训练》、《专业实习与实训》、《高级操作系统》等课程及本科毕业设计和研究生学位论文课题为抓手，就以操作系统为中心的系统软件的教学的开展及所承担科研项目在教学过程的即时应用进行了积极的探索和实践，可为普通教师以所承担课程自主开展系统软件教学研究提供参考和借鉴。