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

01

论坛组织委员会

王莹（东北大学）

谢晓园（武汉大学）

李姗姗（国防科技大学）

02

论坛议程

03

论坛报告嘉宾简介

郝丹

报告题目：女性科技工作者的成长与发展

报告摘要：

女性科技工作者是科技事业发展中值得关注的重要群体。‌中国女性科技工作者的占比正在逐年快速上升，‌这一趋势表明，中国女性科技工作者在科研领域的参与度和影响力正在显著提升。中国女性科技工作者的快速崛起，不仅反映了社会进步和科研管理部门出台的促进性别平衡的政策发挥了积极作用，也体现了女性自我价值的多元化。作为女性科技工作者，我们应该推进创造友好平等的社会环境，挖掘自身的优势，在科学研究、技术开发、科学传播和应用等环节中发挥更大价值。本次报告将分享女性科技工作者的成长与发展的思考。

报告人简介：

北京大学博雅特聘教授，教育部长江学者（特聘教授），北京大学信息工程学院副院长，ccf杰出会员，acm distinguished member，主要从事软件测试等方面的研究，累计在顶级学术会议期刊上发表代表性论文80余篇，多次获得acm sigsoft distinguished paper award。研究成果投入到航天、电力、税务、搜索等软件系统的测试过程。郝丹教授主持了多项国家级科研项目，担任了国际会议ase 2021、saner 2022、icst 2023、icsme 2025的pc co-chair，ase的steering committee member等，频繁担任国际会议icse、fse、ase和issta等会议的程序委员会委员和其他track的主席。目前为国际期刊tosem、esem、ause和csur的associate editor，stvr的deputy editor-in-chief，以及acm sigsoft cares成员。

张冬梅

报告题目：bridging research and real-world impact: a journey in software engineering

报告摘要：

l share my journey as one of the pioneers in data-driven research within the software engineering community. i will discuss the evolution of software analytics, a concept i co-defined that has since become an important research direction in our field. along with my colleagues and collaborators, my career has been dedicated to not only advancing software engineering research but also ensuring that it makes a tangible impact in the real world. through many technology transfers to products and services at microsoft, i have gained deep insights into the interplay between research and practice. these experiences have highlighted the importance of identifying valuable research problems through practical application and collaboration. i hope that sharing these experiences will provide young researchers in our community with valuable reference on how to drive innovation and make meaningful contributions in software engineering。

报告人简介：

dr. dongmei zhang is a distinguished scientist of microsoft, vp of stca bing experience team. she was formerly the deputy managing director of microsoft research asia (msra), leading the research areas of data intelligence, knowledge computing, information visualization, and software engineering. dr. zhang founded the software analytics group in msra in 2009. since then she has been leading the group to research software analytics technologies and conduct technology transfer to multiple microsoft products and services creating significant business impact. dr. zhang and her teams have expanded the research and impact into the business intelligence area, and helped microsoft products establish technology leadership in the direction of smart data discovery. dr. zhang holds a ph.d. degree in robotics from the robotics institute, carnegie mellon university.

王焱林

报告题目：十年科研两mang mang

报告摘要：

十年的科研探索是一段充满挑战与成长的旅程，其中充满了mang目、mang碌、和迷mang。从2014年最初进入博士阶段时的盲目摸索、到各个研究方向选择、到随后的职业选择，从企业回到高校，每一个阶段都带来了独特的感悟和收获。报告内容将先简要介绍报告人的教育、工作背景，再通过回顾这十年的科研经历，分享我在科研路上的所见、所思、所学，以及面对困惑时的反思与调整。希望通过这段分享，能为在科研道路上行走的你们提供一些启发与支持。

报告人简介：

王焱林，中山大学软件工程学院助理教授，2022年入选中山大学百人计划。2019年博士毕业于香港大学计算机系，2019~2022年在微软亚洲研究院任研究员、主管研究员。主要研究领域为智能软件工程、大模型。已在icse、issta、aaai、acl等软件工程及人工智能领域的高质量会议和期刊上发表三十余篇学术论文。在多个国际学术会议如icse，issta，fse等担任程序委员会委员，是tosem，tse，jss，emse等国际期刊的审稿人。

王俊杰

报告题目：从博士生到科研人：在不同身份转换间体会成长感悟

报告摘要：

在成年后的每一步，我们都在不断地穿梭于多重身份之间，面对不同角色的挑战和转换。本报告将带大家走进我个人的科研成长之路，分享从博士生一路走来超过十年的科研生涯中的点滴经验与深刻感悟。从科研方向的选择，到科研与生活的平衡，从面对挑战的决策，到不同职业阶段的优先侧重，将结合自身经历，与大家一同探讨如何在多重身份中找到自我、成就自我。

报告人简介：

王俊杰，中国科学院软件研究所研究员，博士生导师，智能博弈重点实验室副主任。中国科学院特聘研究岗位，青年创新促进会会员，软件所杰出青年。主要从事智能化软件工程、软件质量等方面的研究，近年来主要关注智能软件测试、大模型驱动的软件测试等。在国际著名学术期刊/会议发表60余篇高水平学术论文，荣获icse、chi、icpc等会议的杰出论文奖，共同指导学生获acm学生研究竞赛全球总决赛冠军、中国科学院院长奖、中国科学院优秀博士学位论文等。主持和参与了多项国家自然科学基金项目、科技部重点研发计划、ccf-华为胡杨林基金等。担任ccf a类期刊tse的associate editor，icse、fse、issre等的pc member，tosem、emse、ause等期刊的审稿人。

胡星

报告题目：从迷茫到坚定

报告摘要：

本次报告将会分享我在求学、科研以及生活上如何从迷茫走向坚定的过程。围绕自己的研究方向智能化软件工程，讲述所遇到的挑战和困惑，并分享我是如何克服这些困难的。希望帮助同学们在未来的人生道路选择少一些迷茫和困惑。

报告人简介：

胡星，浙江大学软件学院副教授，主要研究方向为智能化软件工程，程序理解，软件仓库挖掘。在tosem、icse、ase、fse和emse等高水平会议和期刊上发表论文40余篇。担任tosem，jsep期刊编委。主持国家自然科学基金专项培育项目，参与国家重点研发计划等多个科研项目。获得icse2024 acm sigsoft distinguished paper award，msr 2024 acm sigsoft distinguished paper award，icpc 2018 acm sigsoft distinguished paper award。担任forge2024和internetware2023程序委员会主席，担任国际级顶级期刊（tse、tosem、emse）审稿人，受邀担任国际会议ase、icse、fse、issta、msr、icsme、saner的程序委员会成员。详情请参考个人凯发k8登录主页：https://xing-hu.github.io/

王璐

报告题目：三人行必有我师—科研道路上的学习与体悟

报告摘要：

航空航天、军事国防等重要领域软件运行在复杂多变的态势环境下，并面临着非预期任务变更、未知故障频发等威胁软件安全可信的严峻挑战。本次报告将介绍报告人为确保重要领域软件长久稳定运行，从博士生就读期间的软件自适应方法研究，到成为青年教师后开展的软件智能化运维技术研究的学术成果，以及在科研方向变更、领域真实问题解决和学生沟通培养等方面的心得体会。并且，将介绍报告人在科研道路上求索的过程中，从前辈老师、同侪学者和后辈学生身上获得的感悟与帮助，希望能够分享给更多的软件事业青年从业者。

报告人简介：

王璐，博士，西安电子科技大学计算机科学与技术学院副教授，博士生导师，陕西省青托、陕西省优博、西电“华山人才”，ccf 高级会员，ccf 软件工程专委会秘书、系统软件专委会执行委员，ccf 首批传播大使。主要研究方向包括微服务与云原生软件、智能化运维aiops与软件测试，主持国家自然科学基金面上项目、国防预研、中科院点亮计划、航空工业集团机载专项、航天科技集团星载专项等国家级、省部级项目20余项，在icse、fse等国内外期刊与会议上发表论文40余篇，并多个会议pc及期刊审稿人，获省部级以上教学/科技奖励3项。

赵韩蕊

报告题目：聚焦难题，突破瓶颈：科研的深度探索与实践

报告摘要：

在当今学术界，我坚持认为科研的核心价值在于攻克实际中的关键问题，而非单纯追求发表数量或表面成果。在信息物理融合系统（cps）的形式化验证领域，传统方法往往局限于低维示例，难以有效应对高维复杂系统的挑战。我的选题致力于解决系统维度扩展和求解效率提升的痛点问题，以深入的数学理论为强大抓手，为高维复杂系统验证探索更强有力的支持和创新工具。我们的工作不仅具备理论深度，而且在实际应用中具有显著价值。目前，我们开发的工具在处理高维问题上已处于领域领先水平，为复杂智能软件系统的验证奠定了一定基础。报告将详细介绍我的科研经历及自身读博经验，期望与各位同行共同勉励。

报告人简介：

赵韩蕊，华东师范大学在读博士生，导师为杨争峰教授。研究方向涉及智能系统的形式化安全验证与ai控制策略构造等。她以第一作者身份连续在嵌入式领域顶级会议dac2023、dac2024、emsoft2023、emsoft2024（best paper candidate）以及sci一区期刊jssc上发表学术论文。获得2024年 csc公派出国留学资格、华东师范大学“优秀博士生学术创新能力提升计划”项目、华东师范大学“优秀学生”等，并曾有幸作为“2023 ccf chinasoft优秀博士生论坛嘉宾”参与汇报。

顾思琦

报告题目：破茧成蝶：女性科研人员在科研与项目中的和谐之道

报告摘要：

刻板印象常常将女性科研人员局限于实验室的科研任务，而质疑她们在工程项目落地实践中的能力。然而，对于从事工科研究的女性科学家而言，科研成果与工程应用密不可分。在本次报告中，我将探讨几个关键问题：如何在项目实践中挖掘科研问题？如何将科研成果巧妙转化为工业界亟需的凯发k8登录的解决方案？以及如何将科研思维与工程视角有效融合？我将与大家共同探讨如何在科研与项目之间找到平衡，揭示这一过程中的“红与黑”。

报告人简介：

自2022年起就读于南京大学智能软件与工程学院攻读博士学位，师从陈振宇教授和房春荣副教授，主要研究领域为智能化软件测试，涵盖自动化单元测试生成与修复、多模态生成式智能软件的测试与评估等多个前沿方向。发表多篇sci/ei论文，荣获2023年国家奖学金、2023年南京大学研究生标兵称号，申报并完成了2023年江苏省研究生科研与实践创新项目，取得2024年国家留学基金委博士联合培养奖学金。

吴卓

报告题目：技术与成长并行：探索推荐系统测试的科研之路

报告摘要：

科研如同跬步千里，只有不断积累，方能抵达彼岸。在反复尝试与思考中，我逐渐体会到“功不唐捐，玉汝于成”的道理。博士期间，我的研究课题为推荐系统测试，主要研究推荐系统针对不同用户推荐结果的公平性问题。本报告中，我将介绍推荐系统公平性测试这一领域交叉研究课题面临的困难及挑战，报告最新研究成果，并围绕我的读博经历，分享我从科研小白到博士期间的科研成长经历、以及工业界实习等不同阶段的感悟。

报告人简介：

吴卓，天津大学在读博士生，师从王赞教授、陈俊洁教授。研究方向包括通用深度学习模型测试：主要关注测试效率问题，研究实用的测试用例选择方法；推荐系统测试：主要关注推荐系统中的公平性和安全性问题，研究面向推荐系统的高效公平性测试方法和面向代码搜索模型的后门攻击方法。相关工作发表于领域重要期刊如tosem，ist，jsep等。

王柳

报告题目：我的科研成长路：每一步都算数

报告摘要：

读博的历程，不仅是对知识边界的不断拓宽，更是对个人思维方式、问题解决能力及心理素质的全面锻炼。科研之路充满了未知与挑战，每一次尝试和探索，每个看似细微的努力，最终都对科研成果的积累起到了关键作用。“我从来没有长大，但我从来没有停止过成长”，正是我在科研道路上不断前行的真实写照。本次报告将首先介绍我在硕博期间的研究工作，接着将分享我在科研路上经历的种种挑战、困惑、突破与收获，期待与各位同仁共鸣、共勉。

报告人简介：

王柳，北京邮电大学计算机学院（国家示范性软件学院）博士生，师从王祎教授和王浩宇教授。她的研究方向是移动安全与隐私，致力于解决移动应用生态系统中不断增长的安全和隐私问题，以及通过挖掘与建模应用数据以推动应用市场的最佳实践。目前她已在多个顶级学术会议上发表8篇研究论文，涵盖了软件工程（ase、esec/fse、icse）、计算机安全（usenix security），系统度量（sigmetrics、imc）等领域，其中以第一作者/共同第一作者发表论文6篇。她曾获博士生国家奖学金、北京邮电大学优秀研究生。更多信息可见 https://liuer-wang.github.io/。

张雅坤

报告题目：细节处锤炼，风雨中成长

报告摘要：

绝大多数博士生的求学之路并非一帆风顺，而是在风雨中不断磨砺、逐步成长的过程。本报告以报告人自身的经历为例，首先介绍报告人的主要研究方向和研究进展，随后介绍每个研究工作的背后所经历的压力、困难、挫折，以及最终找到的凯发k8登录的解决方案。希望通过这次报告，能够传递给那些正在面临相似困境的朋友们一些信息：你所面对的问题并不罕见，你并不孤单；这些挫折正是成长的必经之路；这些困难都是可以解决的，只要你坚定前行。风雨过后，总有晴天，再坚持一下，你会看到属于自己的彩虹。

报告人简介：

张雅坤，北京大学博士生，师从张路教授与郝丹教授，研究领域为软件工程。她的研究方向主要包括智能化软件测试，主要聚焦于自动化的移动应用功能测试；以及电子表格智能化，主要聚焦于表格错误的自动化检测与修复。她曾荣获北京大学校长奖学金、中国科学院院长奖、以及国家奖学金。此外，她在icse、issta等ccf-a类顶级会议上发表了多篇论文，也是tse、fac等多个国际期刊的审稿人。

孙鑫宇

报告题目：phd成长之路上如何完成三个转变?

报告摘要：

每一个博士都有自己的成长之路。我会以自身经历为例，讲一讲在进入博士阶段后我自身发生的三个重要转变。首先是从以上课考试为主模式到以科学研究为主模式的转变。进入研究生阶段后，如何从先前的教学大纲的安排中跳出来，选择自己的研究方向以及具体研究内容呢，我将以自己的选择为例讲一讲自己如何完成这一转变。然后是从被动接受学习到主动选择学习的转变。读研以后，独立选择研究内容的高自由度启发了我主动选择学习的意识。这种状态随之给我带来的是对事物和本质的好奇心的提升。因此除了研究领域以外，我也积极发展其他领域如摄影、运动、心理学的兴趣爱好，同样地，这些探索也极大辅助提升了我对科研的热情。最后是从单打独斗到抱团学习意识的转变。受以考试为主要评价模式的影响，读研以前更多的是单打独斗，但随着研究的深入，抱团学习的重要性逐渐显现。我所处的实验室有一群优秀的兄弟姐妹，他们各具特色的知识背景以及科研习惯极大地鼓舞了我，为我的成长提供了巨大的帮助。

报告人简介：

孙鑫宇，国防科技大学在读博士生，师从毛晓光和刘万伟教授。主要研究领域是神经网络修复，具体内容包括神经网络公平性、鲁棒性、安全性等性质的修复以及如何定位网络的敏感参数等。2017年开始就读于国防科技大学软件工程专业，2021年保送国防科技大学软件工程专业硕博连读研究生。2021年获工学学士学位荣获学校强军奖学金。相关工作发表在领域重要期刊tosem上。

04

论坛组织委员会简介

论坛主席：王莹

个人简介：

王莹博士，现为东北大学软件学院副教, ccf开源发展委员会委员, ccf 女工委委员。荣获微软研究院铸星计划访问学者(2020)、中国计算机学会优秀博士论文提名奖(2020)、辽宁省优秀博士论文奖(2021)、 acm sigsoft 杰出论文奖(icse 2021、esec/fse 2023)。主要研究方向为智能软件开发技术、开源软件生态治理技术、软件供应链分析等。在多种程序语言软件生态（包括java/c#/python/go/javascript/ rust等）治理方面发表系列学术成果，形成系列工具平台“英雄联盟”lol自动化监控开源软件生态的依赖缺陷。多项技术落地于华为、微软、龙芯等企业平台和openharmony开源社区。担任ieee transactions on software engineering期刊编委，chinasoft 2023-2024软件工程女性论坛主席，saner 2023 tool track联合主席，“计算之美”2021博士生论坛主席等，热衷参与学术活动以鼓励计算机领域女性“研究媛”和“程序媛”坚持科研梦想。

论坛主席：谢晓园

个人简介：

谢晓园，教授、博导，武汉大学特色化示范性软件学院副院长，外国优秀青年学者研究基金获得者，武汉大学珞珈青年学者。研究方向为蜕变测试、软件缺陷定位、智能软件工程等。主持两项国家自然科学基金面上项目，参与多项自科基金重点项目、重点研发项目等。在软件工程顶级或知名期刊会议上录用论文50余篇。曾获nasac青年软件创新奖、acm sigevo humies银奖、acm sigsoft distinguished paper award、湖北省科技进步一等奖、qsic最佳论文奖。担任fcs青年ae、jss客座编辑、历任ieee/acm 蜕变测试研讨会pc chair。

论坛主席：李姗姗

个人简介：

李姗姗，国防科技大学计算机学院教授，国家级青年人才。长期致力于高可信软件的科研工作，主要研究兴趣包括软件代码缺陷检测、韧性配置管理、智能化软件开发等，研究成果发表于icse、fse、ase、issta、vldb、tosem、tse等高水平刊物，获icse'23杰出论文奖等论文奖励 6 次。曾荣获湖南省科技创新领军人才、中创软件人才奖、ccf nasac青年软件创新奖，国家科技进步二等奖、军队科技进步一等奖、湖南省技术发明一等奖等。