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

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

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郑州副主席,主讲操作系统及密码学等核心课程。曾获得河南省本科高校教师课堂教学创新大赛一等奖,主持有河南省一流本科课程,河南省高等教育教学改革研究与实践重点项目。


热门动态
2023-09-07
CCF YOCSEF广州将举办观点论坛,围绕“大模型是否已经成为人工智能领域的新常态、大模型是否会逐渐成为人工智能技术发展的瓶颈、人工智能的未来是否终结在大模型、大模型是否真正能够推动人工智能的发展、如何应对大模型的伦理挑战“等议题,共同探讨大模型的发展现状和未来。
2023-05-05
AI为科学提供了强有力的工具和方法,帮助领域学者发现新的知识、...
2023-03-24
2023年3月18日,CCF YOCSEF成都在四川省成都市五岳宫街28号成都...
2023-03-04
2023年3月3日11:00-14:00,CCF YOCSEF成都分论坛开展走进系列特...
2023-03-02
近十年,我国交通运输事业取得了历史性成就,发生了历史性变革,...
2023-02-27
2023年2月24日下午,CCF YOCSEF 成都的现任和候任AC委员们、老AC...
2023-01-12
2023年1月7日-8日,CCF YOCSEF成都在四川省峨眉山市峨眉山...
2023-01-01
时光荏苒,举步维艰的2022年已远去,欣欣向荣的2023正向我们走来。2022年,在YOCSEF总部、各兄弟分论坛的大力支持下、在各位AC委员、通讯AC委员和委员的共同努力下,CCF YOCSEF太原紧密围绕学术与产业前沿,聚焦科学与社会热点,举办了一系列前瞻性、引领性的观点论坛、技术论坛与CLUB活动,主题涵盖了人工智能算力基础设施、人工智能数据标注、经济转型发展、非物质文化遗产保护等,为山西省乃至全国计算及相关领域的青年科技工作者搭建了交流平台,创造了成长机会,也承担了一定的社会责任。
2022-05-23
2022年5月21日,CCF YOCSEF广州举办“走进图普科技”ClLUB活动暨...
2022-08-18
近年来,人工智能快速发展、赋能千行百业,催生新技术、新产品、...
2022-08-20
近年来,我国大力发展区块链技术和相关应用成果落地,无论是科研...
2022-09-26
近年来,人工智能技术发展迅速,与之相关的数据安全问题也日益受...
2022-10-16
作为我国国民经济的基础,农业是支撑整个国民经济发展和进步的保...
2022-11-13
YOCSEF广州-桂林“东南亚非通用语种AI技术助力东盟经贸合作”联合技术论坛近日成功举办。 随着中国“一带一路”倡议的提出,东盟地区基于地缘政治、地理优势和人文基础成为“一带一路”建设的重点地区,中国与东盟合作迎来历史大机遇。而当前不断优化的东南亚非通用语言AI技术是否能为跨境电商等东盟的经贸合作提供更进一步的助力?
2022-12-04
公司,从算法、架构和软硬件协同等不同的维度去实现高性能的计算。针对人工智能芯片热潮,中国计算机学会(CCF)青年计算机科技论坛(YOCSEF)广州分论坛学术委员会于2022年12月3日以线上视频会议的形式举办了YOCSEF大湾区IT创新论坛——“人工智能芯片的机遇与挑战”观点论坛,共论我国AI芯片发展现状与未来之路
2022-11-13
CCF YOCSEF成都成功举办“当行为数据分析遇上云边智能”技术论坛...
2022-11-03
习近平总书记在二十大报告中指出:全面推进乡村振兴,加快建设农...
2022-08-25
2022年8月20日,中国计算机学会(CCF)青年计算机科技论坛(CCF ...
2022-08-16
2022年8月13日下午,由中国计算机学会(CCF)主办,CCF YOCSEF成...
2022-08-16
   7月25日,由CCF主办、YOCSEF深圳承办,国家超级计算深圳中心...
CCF聚焦