分论坛 > 郑州 > 活动预告
YEF2022论坛预告:强基铸“魂”——操作系统课程的理实交融
2022-06-06 阅读量:308 小字

强基铸“魂”——操作系统课程的理实交融

YEF2022将于2022年6月9-11日举行专题论坛“强基铸‘魂’——操作系统课程的理实交融”将邀请国内从事操作系统一线教学的资深专家,共同针对该问题进行深度思辨和研讨,为我国操作系统人才培养献策,“强基铸魂守初心,奋楫争先担使命”。

我国在信息科技前沿领域面临着“缺芯少魂”的局面。这里的“魂”指的就是以操作系统等为代表的核心基础软件。近年来,随着国外越来越多的制裁和技术封锁,我国越来越重视基础理论和基础软件研究。

1


操作系统课程是计算机类专业的核心课程,未来,我国的“魂”也必然由新一代的学生去铸就。因此,操作系统课程的教学十分重要。

2

学生在学习操作系统过程中经常会出现“知其然,不知其所以然”的困惑。另外,操作系统知识体系十分庞大,且技术发展迅速,在教学内容和教学手段上也需要与时俱进。不同高校对于操作系统的教学往往采用各自独立的教学和实践方案,面向不同的专业背景学生往往需要定制个性化的教学内容。因此,本论坛将联合国内多所知名高校及企业优势力量,邀请长年耕耘在操作系统教学一线的资深教师,共同探索操作系统教学中的桎梏、人才培养的能力短板等问题,并深度打造操作系统教学的知识图谱,构建条理化、逻辑清晰的知识体系,为不同专业学生提供个性化的教学实施手段,为操作系统人才培养献言献策。

报告主题:如何理解操作系统教学的“魂”?

报告摘要:操作系统课程的“魂“是理论与实践并重,在操作系统课程上可以采取自底至上、由动手到理论、由具体到抽象、由细节到整体、由树木到森林的学习模式,强调在知识学习过程中的系统思维培养,从技术实现原理中提炼思想方法。让学生在牢固掌握操作系统的基本概念、基本原理和主要功能及相关的实现方法的基础上,用所学知识解决复杂的工程实践问题,以此来培养和提升学生的实践创新能力。

3

嘉宾介绍

    陈向群,北京大学计算机学院教授,博士生导师。北京计算机学会理事长, 中国计算机学会教育专委会常务理事,教育部计算机教学指导委员会“系统能力培养教学改革”专家组成员。获第七届北京市高等教育教学成果一等奖,获中国教师发展基金会高校计算机专业优秀教师奖励,“操作系统原理”课获国家精品在线开放课程。

报告主题:利用开源工具改进操作系统教学效果

报告摘要:为了在有限的精力和时间投入情况下,尽可能地搞好操作系统课教学,与大家探讨在课堂教学、教学实验和交流答疑等教学环节中,如何利用开源工具来改进课堂教学环境的教学内容的准备、课堂互动效率和教学演示效果,分享可能的教学实验安排方案和实验平台,方便积累和维护的师生交流答疑方法,促进操作系统教学资源的共享。

4

嘉宾介绍:

向勇,清华大学副研究员,中国计算机学会协同计算专委会委员,长期并致力于在模拟和真实环境中对操作系统内核动态跟踪方法和内核分析平台的研究。主持的“面向计算机系统能力培养的课程体系改革”项目,获北京市高等教育教学成果奖获奖一等奖,主持的“操作系统”课程获得清华大学精品课程。

报告主题: 操作系统胶囊小实验引发的思考

报告摘要:通过开源操作系统与高校操作系统教学实践的探索,介绍如何利用开源社区促进高校计算机的教学。通过实验课程、开源实习、竞赛等方式,引领学生在开源社区贡献,通过开源社区历练成为合格的开发者。

5

嘉宾介绍:

陈莉君,教授,陕西省教学名师,陕西省师德先进,教育部高等学校计算机类专业教学指导委员会委员。深入研究Linux内核相关理论以及技术,跟踪Linux内核发展动向,针对Linux内核版本的不断演化,编写和翻译了十多部相关专著、译著及教材。主讲的操作系统课程获得陕西省教学成果奖,两次被中国开源联盟授予“开源杰出贡献奖”。

报告主题: 操作系统教学实践:产教研的融合

报告摘要:操作系统是一个不断发展的学科,但是现有课程的许多知识点和教授方式相对陈旧,教学与工业界研发脱节,高校毕业的应届生难以直接参与操作系统一线研发工作。本次报告将介绍上海交通大学在操作系统课程上的一些实践,旨在加强学生对操作系统的原理、概念、机制、策略等融会贯通的理解,并能与科研前沿、产业实践相融合。

6

嘉宾介绍:

虞斌,上海交通大学副教授,博士生导师,CCF高级会员,开源发展委员会委员,系统软件专委委员,教育工委主任助理。研究领域为操作系统与体系结构,在OSDI、SOSP、ISCA、ASPLOS等国际会议和期刊发表论文60余篇。曾荣获教育部技术发明一等奖、上海市技术发明一等奖、上海市优秀学术带头人、上海交通大学“卓越教学奖”、青年长江学者。

报告主题: 模型检验与并发

报告摘要:并发编程一直以来是《操作系统》教学中的难点。在这个报告中,我们将会介绍一个Python Generator实现的模型检查器,能够自动验证并发程序的正确性并绘制并发程序的状态空间,以及模型检查器在教学中的应用。

7

嘉宾介绍:

蒋炎岩,博士,南京大学计算机科学与技术系副研究员。研究兴趣包括软件系统测试、分析与合成相关的自动化技术,在软件工程顶级会议ICSE/FSE/ASE发表论文十余篇,获NASAC青年软件创新奖、CCF优秀博士论文、ACM Europe Council Best Paper Award、ACM SIGSOFT Distinguished Paper、MSRA Fellowship Award等荣誉。参与南京大学计算机系统教学实践课程体系设计,江苏省青少年信息学奥林匹克竞赛委员会委员。

报告主题: 麒麟操作系统课程在高校的应用与实践探讨

报告摘要:报告主要包括对麒麟操作系统简介,操作系统领域的产教融合项目、产教融合优秀案例,以及对产教融合的规划与期望和产教融合中的问题等展开思索与探讨。

8

嘉宾介绍:

胡海江,麒麟软件有限公司教育发展中心教研总监。主要负责产教融合项目,结合公司技术部门各岗位职责及技术要求,联合高校共同培养人才,参与人才培养方案制定、课程体系优化,协调校企双方导师,设计、实施课程实践及相关赛事;同时负责工信部、教育部、人社部相关项目的申报及执行。

论坛议程

论坛时间:2022.6.11下午13:30-17:30

1.主持人介绍参会嘉宾;

2.每位嘉宾依次阐述自己的看法和观点,每人7分钟;

3.讨论环节:由主持人引导,听众提问,参会嘉宾回答组成;

4.自由提问:听众自由提问,由嘉宾回答。

具体线上直播安排将于近期在本公众号公布,请持续密切关注。

执行主席:

9

个人简介:

王俊超,数学工程与先进计算国家重点实验室副教授,硕士生导师,CCF高级会员,CCF量子计算专业组秘书,CCF YOCSEF郑州候任副主席,以课题负责人身份承担国家重大科研专项、国家重点研发计划和军内重点研究课题等多项,长期以来从事量子计算、网络空间安全、高性能计算等领域研究。

10

个人简介:

李功丽,河南师范大学计算机与信息工程学院副教授,硕士生导师,CCF YOCSEF郑州副主席,主讲操作系统及密码学等核心课程。曾获得河南省本科高校教师课堂教学创新大赛一等奖,主持有河南省一流本科课程,河南省高等教育教学改革研究与实践重点项目。


热门动态
2022-08-16
2022年8月13日下午,由中国计算机学会(CCF)主办,CCF YOCSEF成...
2022-08-02
2022年7月31日, YOCSEF广州分论坛AC委员会举办“走进高明”CLUB...
2022-08-16
7月25日,由CCF主办、YOCSEF深圳承办,国家超级计算深圳中心...
2022-06-11
人工智能与大数据技术为我国经济增长带来了新的历史机遇;在大数...
2021-07-22
中国计算机学会青年计算机科技论坛CCF Young Computer Scientist...
2020-10-20
青年科研工作者作为高校的核心力量,承担着科学创新、知识传授、...
2020-05-23
2020年5月17日,YOCSEF广州分论坛成功在线举办了“如何指导本科...
2020-05-23
2020年1月5日上午,CCF YOCSEF广深联合大湾区IT创新论坛在暨南大...
2018-12-20
2018年12月17日下午,CCF YOCSEF成都分论坛在西南石油大学思学楼...
2018-09-14
CCF YOCSEF深圳携手浪潮、中科曙光齐聚国家深圳超算中心,共商超...
2018-09-13
CCF YOCSEF广州将于2018年9月19日举办人工智能与网络安全:机遇...
2022-08-01
CCF YOCSEF保定于2022年7月31日上午在保定市北二环5699号大学科...
2022-08-03
图1 CCF YOCSEF合肥2022-2023年度AC扩大会议2022年7月30日下午,...
2022-07-28
2022年7月23日,CCF YOCSEF桂林分论坛成功举办了2022-2023届...
2022-07-19
合影留念 2022年7月9日,中国计算机学会青年计算机科技论坛南...
2022-07-11
薪火相传葆初心 同舟共济启新程CCF YOCSEF昆明举办2022-2023届...
2022-06-24
CCF YOCSEF学术委员会于2022年6月8日在北京西郊宾馆、深圳数据交易有限公司两个会场共同召开了题为“工业数据可信流通的关键技术”的闭门深度技术论坛,由北京双湃智安科技首席科学家陶耀东博士、北京交通大学教授金一、深圳数据交易有限公司副总经理王冠共同担任执行主席。会议邀请了24位来自数据交易、数据安全与管理、工业大数据、网络系统安全、大数据治理、隐私计算、数据空间等不同领域的企业代表、学术专家代表作为发言嘉宾出席论坛,从不同角度进行讨论和思辨,共同推动我国数据要素可信流通的快速发展和突破创新。
2022-06-14
无论是在中国的还是西方的历史中,女性英雄都是稀少的,绝大多数...
2022-06-12
第十二届中国计算机学会青年精英大会 CCF YEF 2022 CCF YOCSEF...
2022-05-28
2022年5月21-22日,CCF YOCSEF南京在(地址)召开了两天一夜...
CCF聚焦
会员权益
会员故事
会员荣誉
入会流程
返回顶部