CCF ChinaSoft 2023 论坛巡礼|软件工程女性学者论坛

2023-10-10 18:10

本文主要是介绍CCF ChinaSoft 2023 论坛巡礼|软件工程女性学者论坛,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!

目前大会火热报名中!早鸟注册(early-bird registration)10月22日截止,提前注册付费锁定注册费优惠权益。

CCF ChinaSoft 2023官方首页:

http://chinasoft.ccf.org.cn/

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

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

98c50e390b748c96ce9ed949d85b5606.jpeg

✦  +

+

论坛巡礼

论坛名称

软件工程女性学者论坛

时间 

2023年12月2日(星期六),14:00 – 18:00

地点

上海国际会议中心,3G会议室

论坛简介 

       为进一步激发女性科技人才创新活力,2021年科技部等十三个部门印发《关于支持女性科技人才在科技创新中发挥更大作用的若干措施》。为响应文件的号召,我们首次在中国软件大会上组织”软件工程女性论坛“。论坛聚焦在软件工程领域内,通过海内外、不同年龄层(女性科学家、女性青年教师和博士生)的软件工程领域优秀女性学术报告和经验交流的方式展示女性研究者在学术界和工业界的风采。以此鼓励软件工程领域的女性研究生、青年教师,勇敢追逐自己的科研梦想。我们相信,女性丰富在学科领域的计算生态环境有无可取代的作用。

日程安排

Schedule

a813d16dd686f804549e8369c2adee3d.png

f2b4eb4de768fead556cba20d82fb6d0.png

论坛主席

Forum Chairmen

58268edc20c289dc9895026e4b2929c8.jpeg

王莹

东北大学

王莹博士,现为东北大学软件学院副教授, CCF 女工委委员。荣获微软研究院铸星计划访问学者(2020)、中国计算机学会优秀博士论文提名奖(2020)、辽宁省优秀博士论文奖(2021)、 ACM SIGSOFT 杰出论文奖(ICSE 2021)。王莹博士的主要研究方向为开源软件生态治理技术、软件供应链分析等。在多种程序语言软件生态(包括Java/C#/Python/Go/JavaScript/Android/Rust等)治理方面发表系列学术成果,形成系列工具平台“英雄联盟”LOL自动化监控开源软件生态的依赖缺陷。多项技术落地于华为、微软、龙芯中科等企业平台。担任SANER 2023 Tool Track联合主席,“计算之美”2021博士生论坛主席等,热衷参与学术活动以鼓励计算机领域女性“研究媛”和“程序媛”坚持科研梦想。https://wangying-neu.github.io/

5867ceb4dff42f41ea18e9cbd862f621.png

沈嘉思

香港科技大学

沈嘉思博士,现为香港科技大学计算机系助理教授,本科毕业于北京大学,硕士和博士毕业于麻省理工学院。主要研究领域为程序设计语言和软件工程,侧重于软件分析与变换的技术。博士期间首创了自动推断与翻新程序的技术,在PLDI、TOPLAS、CCS、VL/HCC、Onward!等学术会议和期刊上发表文章,担任过OOPSLA、ECOOP、APLAS、TOSEM、Onward!等学术会议和期刊的审稿人和程序委员会委员。2020年被选为“EECS Rising Stars”,2023年在IJCAI AutoMates研讨会上进行主旨演讲。

论坛嘉宾

Forum Guests

a3995589df69accaddd7ec13be559605.png

金芝

北京大学

IEEE/CCF/AAIA Fellow,国家杰出青年科学基金获得者。先后担任973项目首席科学家,和国家重点研发计划专项、国家自然科学基金委重点项目等的项目负责人。获CCF杰出成就(夏培肃)奖、IEEE TCSVC 杰出领导力奖、中创软件人才奖等。兼任国务院学位委员会学科评议组成员(软件工程),CCF常务理事,CCF系统软件专业委员会主任,CAAI知识工程与分布智能专委会副主任。任《软件学报》执行主编,《计算机学报》副主编,JCST领域编委,以及IEEE TSE、ACM TAAS等的编委。

报告题目

女性在计算领域和工程学科中的成长之路

摘要

女性在计算领域从来都不缺席,从点燃计算机程序光芒的Ada Lovelace,到提出现代计算机原型的Charles Babbage,再到命名软件Bug的Grace Murry Hopper以及软件工程的发明人Margaret H. Hamilton。女性在计算领域,特别是软件工程的历史上留下了闪耀的光芒。但目前计算领域从业者性别严重失衡,女性一直面临着自我、社会和职场的偏见。作为女性,我们应该如何克服偏见,创造平等的社会竞争坏境,发挥女性特长,用闪光的智慧和铿锵的力量在计算和软件工程领域续写女性的辉煌。

8665212ffca2d9dec3ec9099b5f8ce54.jpeg

谢涛

北京大学

北京大学讲席教授,计算机学院软件科学与工程系主任,高可信软件技术教育部重点实验室(北京大学)副主任,国家高等学校学科创新引智(“111”计划)基地负责人,中国科协海智计划特聘专家。曾任美国伊利诺伊大学香槟分校(UIUC)计算机科学系正教授。当选欧洲科学院外籍院士、国际计算机学会(ACM)会士、电气电子工程师学会(IEEE)会士、美国科学促进会(AAAS)会士、中国计算机学会(CCF)会士。曾获科学探索奖,国家自然科学基金委海外杰青及其延续资助,美国自然科学基金会职业发展奖(NSF CAREER Award),ACM软件工程领域(SIGSOFT)三大奖项中的两项(有影响力教育工作者奖、杰出服务奖),IEEE软件工程领域(TCSE)杰出服务奖,软件仓库挖掘奠基性贡献奖,软件工程顶级国际会议ASE 2021最有影响力论文奖等。担任CCF软件工程专委会副主任,2020年中国计算机大会程序委员会主席,软件工程顶级国际会议ICSE 2021程序委员会共同主席,《软件测试、验证与可靠性(STVR)》Wiley期刊联合主编等。主要研究领域包括软件工程,系统软件,软件安全,可信人工智能。

报告题目

青年人才发展目标与途径的思考

摘要

青年学者在人才发展进程中需要思考和回答多方面的问题。比如,中长期职场发展目标是什么?如何指导和培养高质量的研究生?如何在展示独立PI的实力和成就的同时去开展与外部的合作?如何规划和开展好和产业界的合作?如何为研究社区做好服务贡献?如何树立好在研究同行中的声望?如何让自己的研究工作有高的影响力?本报告将分享对这些问题的思考。

a5838896e872db26d8d2927887edd811.png

娄一翎

复旦大学

娄一翎,现为复旦大学计算机科学技术学院青年副研究员,2016年毕业于北京大学信息科学技术学院,获理学学士学位,2021年毕业于北京大学信息科学技术学院,获理学博士学位,2021年至2022年在美国普渡大学计算机系任博后研究员。主要研究方向包括软件工程、软件测试与分析、智能化软件开发等。目前已在ICSE、FSE、ASE、ISSTA、TSE等软件工程国际高水平会议和期刊上发表论文二十余篇,获ACM SIGSOFT Distinguished Paper Award、IEEE TCSE Distinguished Paper Award,并担任ICSE、FSE、ASE、ISSTA等国际会议程序委员会委员。

报告题目

学术之路与女性榜样

摘要

真实软件开发场景所面临的并不仅仅是片段级别的代码生成问题,往往还涉及较为复杂的软件上下文信息(约束更多、规模更大)。本报告的前半部分将介绍报告人在面向复杂软件上下文的智能化软件开发技术上的研究成果。 后半部分将围绕报告人的求学和工作经历,分享报告人从进入计算机专业、到攻读博士学位、再到成为青年教师等不同阶段的成长感悟,以及在这一路上所受到的来自很多女性学者榜样的影响与鼓舞。

7caa8cdcad2ad6f8d0cfb07ef2ea24a8.png

高翠芸 

 哈尔滨工业大学(深圳)

高翠芸,哈尔滨工业大学(深圳校区)计算机科学与技术学院副教授,哈工大青年拔尖人才。主要研究方向为智能化软件工程和软件可靠性。博士毕业于香港中文大学,其后分别在香港中文大学和新加坡南洋理工大学做博士后。近年来在TSE、TOSEM、ICSE、FSE、ASE等会议和期刊上发表论文60余篇,是多个顶级会议如FSE、ISSTA、ASE等的评审委员会成员,也是多个顶级期刊如TSE、TOSEM等的审稿人,荣获ASE2023杰出论文奖以及提名ICSE2022杰出论文奖,指导学生获得ACAIT2022最佳学生论文奖,授权发明专利10余项。

报告题目

科研求学中的点滴感悟

摘要

科研就像一盒巧克力,过程中伴随着未知和惊喜。这个讲座将以我个人的求学与工作经历为出发点,分享我作为一名青年教师的成长历程和所得到的一些经验,包括在科研方向的选择、学生的培养等,其中将探讨我在求学和工作过程中所遇到的挑战和困惑,并分享我是如何克服这些困难的。

8daa6797e1420ed7199839c7284208fc.png

展鹇

华为

展鹇博士目前在华为2012实验室/软件工程应用技术实验室从事二进制成分分析技术,以及软件供应链安全的相关工作。展鹇博士毕业于香港理工大学计算机系,她也曾经是香港最具权威性的奖学金香港政府奖学金的获得者,主要的研究方向包括恶意软件检测,克隆检测,软件成分分析,软件供应链安全等相关工作吗,她的研究成果也发表在了多个例如:USENIX Security,ACM CCS,ICSE,ASE,ISSTA,TSE的软件工程和系统安全领域的顶会和顶刊上,并且她也是ICSE 2021 ACM SIGSOFT优秀论文奖的获得者,未来信息安全精英储备人才的获得者。

报告题目

高校任职和工业界任职之间的区别交流

摘要

现在越来越多的博士生可能面临毕业,正处在人生选择的岔路口,到底是选择去高校任职还是选择去工业界?可能这是很多同学在面对这个问题的时候也有一些担忧和些许迷茫,不知道未来何去何从。在这里我会从我自身的经历出发,和大家一起分享一下我的日常工作经历,让大家了解到一个科研工作者在企业工作的日常的一些流程和任务。帮助大家更好的了解一些企业界的工作模式,等等。希望能够从我的视觉帮同学们从不同的角度去看待问题。帮助同学们在未来的人生道路选择少一些迷茫和困惑。

720ee43ececfb1829fd1a279384035d6.png

曹嘉伦

香港科技大学

曹嘉伦,香港科技大学博士,师从张成志(Shing-Chi Cheung)教授。主要研究领域是软件工程测试,包括深度学习系统测试,可信人工智能等方向。2019年开始就读于香港科技大学,师从shing-chi CHEUNG教授。相关工作发表于领域重要期刊与会议如TOSEM,ASE,ICSE,USENIX Security。入选2021年Chinasoft全国优秀博士,荣获华为博士奖学金等。

报告题目

步履不停,折腾不止 -- 从艺术生“上岸”成工科博士的“折腾”史

摘要

“女博士”在理工科群体中是一个少数存在,从艺术生转型而来的女性更是少之又少。本着“生命不息,折腾不止”的原则,本报告将简要讲述报告人是如何从一个艺术生挣扎着走上科研道路的过程。报告内容将先简要介绍报告人的教育背景,接着简述报告人在人工智能软件测试方面研究经历,最后分享在科研过程中的血泪史。

a07843c3a682ce2cdb86f5b11e33a86b.png

姜艳杰

 北京大学

北京大学全职博士后,博士毕业于北京理工大学,师从张路教授、刘辉教授。研究方向包括软件代码的自然语言处理:关注代码的文本语义,重点解决代码中缩写词的扩展与解读问题;软件缺陷:研究大规模高质量软件缺陷库的自动化构建方法,构建了目前规模最大的高质量软件缺陷库GrowingBugs。在ESEC/FSE、ICSE、TSE等CCF A类会议/期刊上发表论文多篇。

报告题目

从点滴做起,从细微处开始 -- 科研小白的成长

摘要

滴水穿石,不是力量大就能做到。只有从一点一滴做起,才能积少成多、最终成功。科研是充满挑战的,时而让我们感到兴奋无比,时而又让我们深感沮丧。在这个精彩而变化莫测的探究过程中,我们不仅仅是知识的追求者,更是探险家。科研看似宏大高深,实际上往往源于微小而坚实的基础。从小事做起,是我在科研之旅中最珍贵的指南。本次报告我将围绕“从点滴做起,从细微处开始”分享我在科研成长过程中的点点滴滴。

89fc2a4c5684857711894883ce0186fc.jpeg

王敬博 

德克萨斯大学奥斯汀分校、普渡大学

王敬博是普渡大学即将上任的助理教授。她的研究集中在软件工程和形式方法的交叉点,重点在于开发严格的程序分析和综合技术,以提高软件系统的安全性、稳健性和公平性。她的研究成果已经在如 ICSE, ESEC/FSE, PLDI 和 CAV 发布,并在如 MIT EECS Rising Stars 工作坊(2021年)这样的场合上进行了介绍。她还获得了 ACM SIGPLAN PLDI 杰出论文奖(2023年)、USC WiSE 优秀研究奖(2021年)和海德堡学者论坛的青年研究员奖(2019年)。https://viterbi-web.usc.edu/~jingbow/

报告题目

PhD的成长之路

摘要

当大家刚开始进入PhD阶段总会感到迷茫,或许是对未来发展的不确定性或者是找不到合适课题的焦虑。当我们临近毕业时,又会开始面临工业界还是学术界的选择。整个PhD的成长之路充满了选择和挑战,我会和大家分享自己的海外求学经历,如何选择职业道路,准备job talk, 以及如何讲好自己的故事。我的课题主要集中在确保侧通道信息不会泄露用户隐私。我会结合我自己的课题讲述我如何做选择以及这么选择的原因。同时,我也会讲一些工业界做程序分析的经历和大家分享。

4a92bcf9e28a77355e383c451e12a11b.jpeg

李天石

加利福尼亚大学伯克利分校、美国东北大学

李天石博士现任职于加州大学伯克利分校,担任博士后研究员。她最近在卡内基梅隆大学取得博士学位,并将在2024年秋季加入美国东北大学计算机学院,担任助理教授。她的研究领域涵盖人机交互、隐私和软件工程,致力于解决软件系统中的隐私问题,通过帮助开发者更好地识别、缓解和沟通软件系统中的隐私风险。她采用以人为本的研究方法,研究开发者在隐私问题上所面临的挑战,并设计、构建和评估IDE插件,将隐私责任分解为轻量级的注释任务,使得隐私增强的考量和行为成为常规开发流程的一部分。她的研究成果已获得多项荣誉,包括ACM CHI最佳论文荣誉提名奖。https://tianshili.me/

报告题目

在隐私、人机交互、软件工程间建一道桥梁:一个喜欢理解人的理工科生的跨学科之路

摘要

对我来说,科研这扇门真正向我敞开,是从我认识到“计算机科学与人有关”开始的。开始读博时,我几乎是奋不顾身地从原来的方向一百八十度转弯,投入到人机交互的怀抱。那时的我初次接触隐私和人机交互相关的研究,凭着一腔热情开始做自己想象中“真正有社会意义的科研”,结果最初几年在发表上处处碰壁。在这个过程中,我逐渐理解了什么是跨学科研究,怎么做跨学科研究,如何应对不同学科间不同的科研范式,如何在理解问题(problem understanding)和解决问题(problem solving)之间找到平衡,如何在瞬息万变的社会潮流和外界的评价中找到自己的位置,以及如何向我最初的、大概也是终极的愿望“做真正有社会意义的科研”走近一步。在博士刚刚毕业,开始向PI身份转换的节点,我很高兴可以向大家分享自己在人生上一阶段的经历、思考、困惑、成长,希望对大家有所启发。

1c2033ba74004924f3a50e0cd7d93e7e.jpeg

这篇关于CCF ChinaSoft 2023 论坛巡礼|软件工程女性学者论坛的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/182167

相关文章

CSP 2023 提高级第一轮 CSP-S 2023初试题 完善程序第二题解析 未完

一、题目阅读 (最大值之和)给定整数序列 a0,⋯,an−1,求该序列所有非空连续子序列的最大值之和。上述参数满足 1≤n≤105 和 1≤ai≤108。 一个序列的非空连续子序列可以用两个下标 ll 和 rr(其中0≤l≤r<n0≤l≤r<n)表示,对应的序列为 al,al+1,⋯,ar​。两个非空连续子序列不同,当且仅当下标不同。 例如,当原序列为 [1,2,1,2] 时,要计算子序列 [

HNU-2023电路与电子学-实验3

写在前面: 一、实验目的 1.了解简易模型机的内部结构和工作原理。 2.分析模型机的功能,设计 8 重 3-1 多路复用器。 3.分析模型机的功能,设计 8 重 2-1 多路复用器。 4.分析模型机的工作原理,设计模型机控制信号产生逻辑。 二、实验内容 1.用 VERILOG 语言设计模型机的 8 重 3-1 多路复用器; 2.用 VERILOG 语言设计模型机的 8 重 2-1 多

CCF推荐C类会议和期刊总结(计算机网络领域)

CCF推荐C类会议和期刊总结(计算机网络领域) 在计算机网络领域,中国计算机学会(CCF)推荐的C类会议和期刊为研究者提供了广泛的学术交流平台。以下是对所有C类会议和期刊的总结,包括全称、出版社、dblp文献网址以及所属领域。 目录 CCF推荐C类会议和期刊总结(计算机网络领域) C类期刊 1. Ad Hoc Networks 2. CC 3. TNSM 4. IET Com

【软件工程】软件开发模型

三、瀑布模型  四、几种软件开发模型的主要特点 题目 判断题 选择题 小结

在糖尿病患者信息管理系统中,交流区模块想模仿论坛那样几楼几楼的!

在糖尿病患者信息管理系统中,交流区模块想模仿论坛那样几楼几楼的! <s:if test="%{#request.page.pageData!=null}"> <s:iterator value="%{#request.page.pageData}" status="st" var="followCards"> <s:if test="%{#followCards.status==1 &&

《黑暗之魂2:原罪学者》是什么类型的游戏 《黑暗之魂》可以在苹果Mac电脑上玩吗?

在宏大的世界观游戏中,《黑暗之魂2:原罪学者》脱颖而出,以其探索性和挑战性征服了全球玩家的心灵。下面我们来看看《黑暗之魂2:原罪学者》是什么类型的游戏,《黑暗之魂2:原罪学者》可以在苹果电脑玩吗的相关内容。 一、《黑暗之魂2:原罪学者》是什么类型的游戏 《黑暗之魂2:原罪学者》作为《黑暗之魂2》的增强版和重制版,是一款FromSoftware制作、BANDAI NAMCO和FromSoft

【IEEE出版】2024博鳌新型电力系统国际论坛——电力系统与新能源技术创新论坛(NPSIF 2024,10月30-11月1)

2024博鳌新型电力系统国际论坛——电力系统与新能源技术创新论坛将于2024年10月30-11月1日于海南博鳌举办。 会议的历史悠久,致力于促进电力系统领域的研究和开发活动,同时也着眼于促进全球各地研究人员、开发人员、工程师、学生和从业人员之间的科学信息交流,推动新能源技术的创新和应用,为全球能源领域的可持续发展贡献力量。期待着各方专家学者的共同参与和卓越贡献,共同开创电力系统未来的新篇章。

2023 CCPC(秦皇岛)现场(第二届环球杯.第 2 阶段:秦皇岛)部分题解

所有题目链接:Dashboard - The 2023 CCPC (Qinhuangdao) Onsite (The 2nd Universal Cup. Stage 9: Qinhuangdao) - Codeforces 中文题面: contest-37054-zh.pdf (codeforces.com) G. Path 链接: Problem - G - Codeforces

Open Source, Open Life 第九届中国开源年会论坛征集正式启动

中国开源年会 COSCon 是业界最具影响力的开源盛会之一,由开源社在2015年首次发起,而今年我们将迎来第九届 COSCon! 以其独特定位及日益增加的影响力,COSCon 吸引了越来越多的国内外企业、高校、开源组织/社区的大力支持。与一般企业、IT 媒体、行业协会举办的行业大会不同,COSCon 具有跨组织、跨项目、跨社区的广泛覆盖面,也吸引了众多国内外开源开发者和开源爱好者的关注及参与

HNU-2023电路与电子学-实验1

写在前面: 这是电路与电子学课程的第一次实验,按照指导书的需求在Multisim软件搭建一个电路传感器模型,难度较小,细心完成就没有问题。 小tips:22级实验是采用上传到测试平台来进行功能检测,如果不通过则会打回修改后再重新提交,(我们那时候的评测系统特别特别慢,一次只能测一个同学,剩下同学就排队等着,久的时候甚至超过10个小时),这里列举一个常见的错误:热噪声有+号这端需要连接有源滤波器