西安市智能软件工程重点实验室围绕软件工程学科内涵，以智能的软件工程和智能软件的工程为主要研究内容，致力于提升软件设计、实现、运维等环节的智能化水平，突破面向特定行业和领域的智能软件关键技术，拓展“智能软件+X”前沿交叉研究及领域应用。同时，结合西安市“硬科技之都”建设和软件相关产业发展需求，着力于智能软件工程技术落地与自主可控系统研发。为紧跟智能软件工程学术发展前沿，加强软件工程领域青年教师学术交流，促进实验室高质量学术梯队建设，进而推动我校软件工程学科持续发展，智能软件工程重点实验室特此举办“第一届青年学者论坛”。论坛由betway必威西汉姆联官网智能软件与系统新技术研究所承办，通过线上的形式开展。
本次青年学者论坛围绕智能软件与智能系统领域最新学术进展，邀请清华大学、北京大学、南京大学、复旦大学、浙江大学、国防科技大学、北京航空航天大学、中科院软件所、东南大学、华东师范大学、武汉大学、同济大学、北京理工大学、西安交通大学、西北工业大学、betway必威西汉姆联官网、美国犹他大学、德国慕尼黑工业大学等国内外软件工程学科优势高校的软件工程相关领域优秀青年学者，通过主题报告、交流沙龙等形式，分享智能软件与智能系统领域的理论与技术新进展，以加强实验室学术前沿交流，促进我校软件工程学科更好地发展，扩大学科知名度与影响力。
一、论坛组织
主办：西安市智能软件工程重点实验室
承办：betway必威西汉姆联官网智能软件与系统新技术研究所
二、论坛安排
论坛时间：2021年8月26日~2021年8月27日
线上参与方式：腾讯会议（会议号：747 505 6044）
线上直播地址：https://live.bilibili.com/23448933
线上直播二维码：
论坛议程总览：
三、议程安排
2021年8月26日（星期四）
2021年8月27日（星期五）
四、报告嘉宾简介
马为之，清华大学
报告题目：动态高效的知识增强推荐方法研究
报告摘要：推荐系统现已被广泛应用在电子商务、信息流等数字化场景，以实现用户与信息的高效匹配。近期研究发现知识信息的引入能够同时提升推荐算法的效果和可解释性。然而，已有研究忽略了知识图谱上关系对用户需求的动态影响，引入大规模知识时也忽略了模型效率。本报告将介绍我们针对知识增强推荐方法开展的一系列研究工作，我们提出的用户动态需求建模和非采样优化方法除了能够改进现有知识增强推荐方法，还能够用于优化其他推荐方法，离线和在线实验均表明提出的模型较已有方法取得了显著提升。
报告人简介：马为之，博士，清华大学助理研究员。主要研究方向包括智能信息获取、用户建模及推荐。2014年和2019年分别于清华大学计算机系获学士和博士学位；2019-2021年在清华大学计算机系从事博士后研究，随后于清华大学智能产业研究院担任助理研究员。曾获得2020年钱伟长中文信息处理科学技术奖一等奖、2019年中文信息学会优秀博士学位论文提名奖等科技奖励。已在SIGIR、TheWebConf、TOIS、KDD等CCF A类会议期刊上发表论文20余篇，曾获SIGIR 2020最佳论文提名奖等奖励。
马郓，北京大学
报告题目：智能化Web系统
报告摘要：自20世纪90年代初图灵奖得主Tim Berners-Lee发明Web以来，Web一直是人工智能研究和实践的重要领域，从搜索引擎、推荐系统，到社交网络、语义网，Web的发展和壮大离不开人工智能的推动；而通过Web发布和共享的海量数据为人工智能的发展提供了原动力，同时亿万Web用户也成为人工智能最广泛的服务对象。随着以深度学习为代表的人工智能技术迅猛发展，人工智能应用的广度得以快速延展，对Web提出了新挑战，也为Web的发展带来了新机遇：一方面，Web需要在底层与人工智能深度结合以应对人工智能应用发展的需要；另一方面，Web自身也可借力人工智能实现应用的快速开发和演化。本报告将从Web系统支撑智能化应用开发运行和数据智能驱动的Web系统运行时优化两个方面介绍智能化Web系统的研究探索。
报告人简介：马郓，博士，北京大学人工智能研究院研究员、助理教授、博士生导师，2011年和2017年于北京大学信息科学技术学院分别获得学士和博士学位，2017至2020年于清华大学软件学院从事博士后研究工作。研究方向为智能系统软件，主要关注Web系统和移动计算系统的设计和优化。在WWW、FSE、IEEE Trans on Mobile Computing、ACM Trans on the Web、Science China Information Sciences、软件学报等国内外知名会议和期刊发表论文30余篇，获10余项授权发明专利。研究成果曾入选顶级期刊IEEE Trans on Mobile Computing亮点论文，曾获IBM PhD Fellowship、北京大学五四奖章等荣誉奖励。
蒋炎岩，南京大学
报告题目：软件代码级动态更新技术
报告摘要：软件作为纯粹的逻辑制品，其非但不具有“软”的弹性与韧性，反而极其脆弱，失之毫厘谬以千里。为了能够持续、无缝地应对需求的变化和缺陷的修复，使软件在运行时完成代码和数据向新版本迁移的软件动态更新技术应运而生。本报告介绍南京大学研究团队在软件代码级动态更新技术，尤其是对象状态自动转换方面的研究成果。
报告人简介：蒋炎岩，博士，南京大学计算机科学与技术系副研究员。主要研究方向是软件分析、测试与合成，2011年和2017年分别获南京大学学士和博士学位。获得CCF优秀博士论文、CCF青年托举人才等奖励与荣誉。在软件工程三大会议ICSE/FSE/ASE上发表论文12篇，两次获得ACM SIGSOFT杰出论文奖，并获ICSE 21的唯一最佳论文奖。
陈碧欢，复旦大学
报告题目：开源软件供应链风险分析与治理
报告摘要：每个软件产品几乎都有复杂的开源软件供应链。然而，开源软件供应链上的任何一个开源软件都有可能存在安全漏洞、许可证、兼容性等问题，严重提高了软件产品使用开源软件的风险。针对开源软件供应链风险问题，本报告将概述我们的供应链风险分析与治理框架，并具体介绍1）开源软件安全漏洞知识库构建，实现安全分析与治理的赋能；2）开源软件安全漏洞影响分析，量化开源软件安全漏洞对软件产品的风险及规避代价。
报告人简介：陈碧欢，复旦大学计算机科学技术学院副教授，博导。2014年毕业于复旦大学计算机科学技术学院，获得理学博士学位。2014年至2017年在新加坡南洋理工大学计算机科学与工程系任职博士后研究员。目前的主要研究方向是代码大数据、程序分析、软件测试、以及软件安全。至今已在ICSE、FSE、ASE、ISSTA、S&P、SEC、CCS、TSE、TIFS等顶级国际会议和期刊上发表研究论文20篇，并获得了2015年上海市研究生优秀成果（博士学位论文）奖、第24届基础软件工程国际研讨会（FSE2016）和第33届国际自动化软件工程会议（ASE2018）的ACM SIGSOFT杰出论文奖、以及第36届软件维护与演化国际会议（ICSME2020）的IEEE TCSE杰出论文奖。
鲍凌峰，浙江大学
报告题目：以开发人员为中心的软件开发活动分析
报告摘要：软件开发活动是以人为中心的，软件开发活动中人的因素是一个软件开发团队的灵魂部分。当前在软件开发活动中，开发人员会产生各种各样的数据，这些数据存储在各种不同的系统中例如Github、Stack Overflow、邮件及聊天系统等。本报告分享的几个研究介绍如何挖掘这些开发人员产生的活动数据，分析里面的信息，从而更好地帮助开发人员进行开发活动、及更好的管理项目和团队。
报告人简介：鲍凌峰，浙江大学betway必威西汉姆联官网副教授，研究方向为智能软件工程，主要包括基于软件工程大数据的软件仓库挖掘，研究程序员行为数据的挖掘与理解、提升程序员效率的智能化方法和工具、以及智能合约的分析与挖掘。已发表国际期刊和会议论文30余篇，其中8篇是以第一作者或通讯作者发表的CCF A类论文。部分成果已在百度、腾讯等公司得到应用，并展开进一步深入合作。担任多个软件工程顶级会议的程序委员会委员（CCF A类会议ASE 2020和2021）和顶级期刊审稿人（TSE、TOSEM等），是CCF软件工程专委的通讯委员。
王璐，betway必威西汉姆联官网
报告题目：开放环境下的软件自适应理论及领域应用
报告摘要：运行在不确定环境中的软件系统需具备自适应能力，以不断调整自身，从而适应复杂多变的运行环境与用户需求。近年来，随着各关键领域对软件系统无人化控制、自主化运维等需求的显著提升，如何建立适合目前开放不确定环境下软件系统的自适应性，已成为确保系统稳定运行的关键问题。本次报告重点探讨如何借助基于搜索的软件工程思想，针对不确定环境的特征建立软件自适应过程的相关成果，包括基于关系分析的事件识别技术、基于并行搜索的自适应决策技术等，并介绍本团队理论成果在指控领域、航空航天领域的实际应用情况。
报告人简介：王璐，博士，betway必威西汉姆联官网华山菁英副教授，硕士生导师，主要研究方向包括软件演化与自适应、微服务与智能化运维。2013年和2018年分别于betway必威西汉姆联官网获工学学士和软件工程专业博士学位，并获校优秀博士论文奖。近年来，在国家自然科学基金青年基金项目、陕西省自然科学基金项目、中科院软件所合作项目等支持下，于ICSE、FSE、ICSME、SANER、《软件学报》等国内外期刊会议上，发表论文20余篇。
孙海龙，北京航空航天大学
报告题目：群智化软件开发方法与系统
报告摘要：在互联网开源开放环境下，参与者个体间的交互协同与贡献汇聚所形成的群体智能可以有效提高任务处理效率和质量，有力地推动了软件开发、大数据和机器学习等领域的快速发展。报告首先简要介绍群体智能的研究背景，然后重点介绍群智化软件开发方法的典型模式与研究问题，最后介绍课题组在群智资源分析与利用方面所开展的一些工作。
报告人简介：孙海龙，北京航空航天大学教授，博士生导师。担任软件开发环境国家重点实验室副主任，中国计算机学会协同计算专委副秘书长、常务委员。主要研究群体智能、智能化软件方法和分布式系统等。近年来，主持国家重点研发计划项目1项、国家自然科学基金项目3项。在OSDI、AAAI和ICSE等发表论文100余篇，获得中国发明专利授权40余项、美国发明专利授权2项。获国家技术发明二等奖2项、教育部科技进步一等奖3项。
张立波，中国科学院软件研究所
报告题目：多场景视觉商品检测
报告摘要：商超结算是每个居民购物时都会面临的日常活动。在购物车、结算台、货架等多个场景中实现基于视觉商品检测的自动结算，能够节约消费者的宝贵时间，降低商超的人力成本，带来更好的购物体验，同时也是实现应用多元化扩展和产业智能化升级的基础条件。本报告将围绕多场景下商品检测和识别的相关算法，介绍全场景自动化商超结算系统，解决在多角度跨场景下商品定位、识别和计数的全新问题。
报告人简介：张立波，博士，副研究员，硕士生导师，朱李月华优秀博士生，中国科学院青年创新促进会会员。主要研究方向包括人工智能和计算机视觉。2017年于中国科学院大学计算机学院获得博士学位，2017年至今工作于中国科学院软件研究所智能软件研究中心。在CVPR、ICCV、ECCV、ACM MM、IJCAI、AAAI等领域顶级会议和期刊发表学术论文20余篇。
卢遥，国防科技大学
报告题目：编程问答社区奖励型游戏化激励机制的影响研究
报告摘要：近年来，游戏化激励机制被越来越多地应用到群体化软件工程社区中来激励开发者的自发贡献，其中以编程问答社区Stack Overflow最为典型。在Stack Overflow中，当开发者的贡献得到其他用户的认可时，他们能够获得相应的声望分；当声望分积累到一定数量时，可以获得相应的徽章和特权。这些游戏化奖励是开发者在社区中声望和地位的象征，同时也从一定程度上反映其专业水平。那么，有多少开发者受到游戏化奖励的激励来参与贡献？这些奖励对于开发者贡献数量和质量的激励效果如何？会对社区产生一些负面影响吗？本报告介绍国防科技大学研究团队对于这些问题开展的研究工作。
报告人简介：卢遥，博士，国防科技大学计算机学院讲师，从事软件工程方向的科学研究、教学教改和人才培养工作。主要研究兴趣是群体化软件工程和群体化学习，在ICSE、ICSME、JSEP等高水平会议和期刊上发表论文10余篇，作为
平台技术负责人研发的群体化学习平台知士荟（LearnerHub）在10余所高校得到推广和应用，参与主讲的“软件工程”课程获国家精品课程、精品资源共享课程以及湖南省金课。
孔祥龙，东南大学
报告题目：基于代码上下文的API推荐与评估
报告摘要：API（Application Programming Interface，应用程序编程接口）是程序功能的重要载体，有助于促进代码复用、提高开发效率。如何向开发者高效准确地推荐API一直是智能化软件开发领域的重要研究问题，集成开发环境的快速发展也为传统API推荐技术带来了新的挑战。本报告介绍东南大学软件工程研究所团队在API推荐与评估方面的技术成果，包括层次上下文的构建、基于上下文的API推荐、多维度的API推荐结果评估等内容。
报告人简介：孔祥龙，博士，东南大学计算机科学与工程学院讲师，主要研究方向包括智能化软件开发、程序修复和软件逆向工程，在相关领域发表10余篇论文，获得9件发明专利授权。2009年和2018年分别获东南大学学士和博士学位，师从李必信教授；2014-2016年在美国得克萨斯大学达拉斯分校W. Eric Wong和Lingming Zhang团队联合培养。
王成，同济大学
报告题目：网络反诈智能系统
报告摘要：数据驱动范式对智能化网络诈骗防范有重要赋能作用。当前智能反诈系统主要受限于：有效信息短缺、多环节协同能力不足和用户隐私及公平保障需求的疏忽等问题，这为此种技术范式的发展埋下隐患。本报告介绍同济大学团队在数据驱动型智能反诈系统方面的综合优化研究，包括：以微观视角细粒度构造高分辨深度诈骗检测模型；以全局视角系统化构建一体化广度反诈图谱系统；兼顾系统端之效能与效率优化和用户端之隐私及公平保障的反诈框架构建。
报告人简介：王成，同济大学电子与信息工程学院教授，任上海计算机学会网络专委会主任、嵌入式系统与服务计算教育部重点实验室专职副主任和上海工业互联网联盟安全领域核心专家，IEEE Senior Member。主要从事网络服务优化及安全领域的教学科研工作。获国家科技进步二等奖、上海市科技进步一等奖、电子学会自然科学一等奖、自动化学会自然科学一等奖、吴文俊人工智能技术发明奖一等奖、上海市技术发明一等奖和英国工程技术学会（IET）创新提名奖等。在TKDE、TMC、TC、TDSC、TPDS、INFOCOM、RTSS、IJCAI等CCF A类期刊会议上发表论文30余篇，获ACM MobiHoc 2014最佳论文奖。
钱昆，北京理工大学
报告题目：通过机器智能面向更美好的生活：从计算机听觉到人工智能物联网
报告摘要：In the recently passed decade, tremendous efforts have been made to facilitate this great era of human-centered artificial intelligence (HAI) by leveraging the power of advanced technologies in AI, 5G, IoT, big data, cloud computing, and ubiquitous computing. Particularly, computer vision (CV) and its related studies dominate the current AI field. In contrast, another young field, i.e., computer audition (CA) was underestimated while it has been increasingly demonstrated to be promising and showing encouraging performances ranging from the traditional speech recognition, music information retrieval, to the emerging areas like healthcare, security surveillance, and ecological monitoring. In this talk, Dr. Qian will firstly introduce his doctoral work within Prof. Björn W. Schuller’s group at Technical University of Munich, Germany (a global leading group in the field of CA) through the areas of body sound analysis, animal sound recognition, and acoustic scene classification. Then, the most recent work by Dr. Qian at The University of Tokyo in Japan will be given in terms of the AIoT applications for computational human behavior analysis. The state-of-the-art technologies involved will be given in details when presenting the specific tasks.
报告人简介：钱昆，教授/博导，北理工医学技术学科脑健康工程方向责任教授，北理工“特立青年学者”支持计划入选者，IEEE高级会员，IEEE Transactions on Affective Computing期刊（影响因子：10.506，JCR Q1）副主编，日本学术振兴会JSPS外国人特别研究员计划入选者（全球录用率10.6%，与德国“洪堡学者”、欧盟“玛丽居里学者”齐名），日本东京大学（长期位于各世界大学排名榜单日本第1，世界前25）特任研究员，法国巴黎丝路商学院客座教授，中国留德学者计算机学会人工智能与大数据专家委员会专家委员，美国卡内基梅隆大学、日本东京工业大学、新加坡南洋理工大学访问学者，之江实验室之江国际青年人才基金获得者（全球录用率小于15%）。博士毕业于德国慕尼黑工业大学（长期位于各世界大学排名榜单德国第1，世界前50），人工智能与信号处理方向。留德攻读博士学位期间，师从情感计算与机器听觉领域顶级科学家德国Björn W. Schuller教授（IEEE/ISCA/BCS Fellow，英国帝国理工大学人工智能方向教授）。钱博士攻读博士学位期间多次获得德意志学术交流中心奖学金、德国慕尼黑工业大学合作科研基金，与美国卡内基梅隆大学、英国帝国理工大学、日本理化学研究所、新加坡南洋理工大学、中国科学院等国内外顶尖高校和科研机构保持合作关系，致力于机器学习/深度学习在医疗健康、音频智能感知和智能物联网方面的研究。钱博士主持两项国际基金（日本学术振兴会外国人特别研究员项目和之江实验室之江国际青年人才基金），并获得之江国际青年人才基金“优秀成果奖”（智能感知组排名第1/12），参与多项欧盟、日本和国内的重大科研基金项目，并与华为欧洲研发中心、日本松下公司、日本富士通公司保持紧密合作关系。目前共发表SCI收录期刊论文24篇（其中第一作者/通讯作者18篇），包括IEEE Signal Processing Magazine、IEEE IoTJ、IEEE T-ITS、IEEE J-BHI、IEEE T-ASE、IEEE T-BME、ABME、JASA等领域内国际顶级期刊，累计IF-2020：123.36，单篇最大IF-2020：12.551（唯一第一作者）。钱博士在国际知名学术会议如ICASSP、EMBC、GlobalSIP上发表相关学术论文并做报告。钱博士目前担任多个国际学术期刊副主编/编委会成员，担任信号处理领域国际顶会ICASSP组织Special Session on Computer Audition for Healthcare（CA4H），长期担任包括IEEE TNNLS、IoTJ、TCYB、TII、TAC、TBME、J-BHI、SPL、IEEE/ACM TASLP、Medical Image Analysis等20余种领域内国际顶级/知名期刊审稿人，并担任包括ICASSP、INTERSPEECH、EMBC、EUSIPCO等国际顶级学术会议的长期审稿人。钱博士已授权中国发明类专利3项，德国专利1项。
黄兴，德国慕尼黑工业大学
报告题目：大规模数字微流体生物芯片的开源云生态系统构建
报告摘要：数字微流体生物芯片，也称“片上实验室”设备，在过去十年受到了工业界及学术界的广泛关注。在这样一个硬币大小的微型平台上，诸如聚合酶链反应、蛋白体结晶、毒品检测等各种各样的生物化学实验，可以在极短的时间内被自动完成，同时兼具高精度、高稳定性、低样本消耗等诸多优势。然而，随着芯片特征尺寸的急剧缩小以及当前工业软件设计体系的不完善，数字微流体生物芯片的大规模推广受到了较大阻碍，各类用户需求不能在短时间内批量换为芯片成品。为此，我们提出并构建了全球首个针对大规模数字微流体生物芯片的开源云生态系统，集成电子设计自动化（EDA）软件包、制造封装、操作系统、及在线社区等多模块于一体，旨在从根本上消除微流体生物芯片从设计到制造的整个流程中存在的各类技术瓶颈和体系缺陷，从而让更广泛的终端用户，特别是那些没有微流体工业技术背景的群体，实现芯片从设计到使用的一站式服务，进而推动整个微流体工业的蓬勃发展。
报告人简介：黄兴，博士，博士后，德国洪堡学者，德国慕尼黑工业大学TUFF fellow，IEEE及ACM会员。现为慕尼黑工业大学博士后研究员（微流体生物芯片设计自动化方向负责人），福建省网络计算与智能信息处理重点实验室集成电路设计自动化团队带头人。曾任台湾清华大学博士后研究员，国家公派美国杜克大学联合培养博士生。长期致力于微流体生物芯片及超大规模集成电路设计自动化（EDA）软件研究工作。主持/参与了包括德国洪堡基金，德国慕尼黑工业大学研究基金，国家自然科学基金，德国自然科学基金，台湾省科学技术基金，福建省自然科学基金等在内的多个科研项目的研究攻关，系统化地解决了微流体生物芯片设计自动化领域的多个瓶颈/前沿课题，例如提出并构建了全球首个集成数字微流体生物芯片设计、制造、测试、运输及用户服务的开源生态系统，突破性地提出了首个流体分布式管道存储芯片架构，并形成了一套完整的自动化设计方案。在包括IEEE TCAD, IEEE TC, ACM TODAES, IEEE/ACM DAC, IEEE/ACM ICCAD, IEEE/ACM DATE等在内的领域国际顶级期刊/旗舰会议上发表论文30余篇。担任包括IEEE TCAD, ACM TODAES, IEEE TVLSI, IEEE TBioCAS, ACM JETC, INTEGRATION等十多个集成电路/生物芯片设计自动化国际期刊审稿人，以及包括IEEE/ACM ICCAD, ACM/IEEE ASP-DAC, IEEE VLSI-SoC, IEEE ISVLSI在内的多个国际会议技术委员会委员（TPC member）。申请国家发明专利11项（已获批2项，9项在审）。荣获德国洪堡基金（全球通过率25%-30%），慕尼黑工业大学研究基金（全球每年10名），台湾省科学技术研究奖学金，教育部博士国家奖学金，卢嘉锡优秀研究生奖（全国每年选拔10名）等在内的30余项荣誉。
徐悦甡，betway必威西汉姆联官网
报告题目：面向软件开发的Web API推荐与搜索方法、工具与创新服务
报告摘要：Web应用程序编程接口（Web API）经常被软件开发人员用于构建软件，特别是Web应用相关软件。在软件开发过程中，软件开发人员所面对的API的数量往往非常巨大，所以向开发人员推荐适合的API至关重要。本工作旨在提供多种方式向开发人员推荐与检索API，帮助开发人员发现合适的API，提高软件开发的效率。本团队提出了基于协同过滤的Web API推荐方法与基于异质信息网络的Web API搜索方法，并以四种服务的模式提供出来：1）Windows桌面软件服务；2）Web门户网站服务；3）Python项目软件包服务，已打包发布可直接从公网下载使用；4）移动端软件服务。
报告人简介：徐悦甡，博士，betway必威西汉姆联官网副教授，软件工程系党支部副书记。2016年于浙江大学获得博士学位，2011年于betway必威西汉姆联官网获得学士学位。一直从事软件服务工程、推荐系统与移动计算等方面的研究。以第一作者或通讯作者于IEEE ITS、IEEE IOT-J、IEEE TII、IEEE TCCN、IEEE TETCI、FGCS、ESWA、EAAI、ICSOC、SCC等国际期刊或会议发表论文20余篇，ESI高被引4篇。先后主持国家自然科学基金青年项目、陕西省自然科学基金青年项目、重点实验室开放课题、企事业单位合作项目等多项。
艾清遥，美国犹他大学
报告题目：迈向智能信息检索系统
报告摘要：今天，机器与人之间的边界越来越模糊。一方面，人工智能的发展使机器可以完成很多过去需要人类专家才能完成的信息任务；另一方面，越来越多的人们要求现代信息检索系统可以像人一样为他们提供各种服务，比如购物推荐、健康指导等等。传统基于关键词匹配的信息检索系统已无法满足当代用户复杂的信息需求。本报告将聚焦当代信息检索的发展，介绍我们在智能信息检索系统设计与构建方面的工作。具体内容包括信息检索系统中异构信息的表示构建，复杂检索环境下的信息相关性建模，以及有噪声环境下用户反馈的学习与利用等。
报告人简介：艾清遥，博士，美国犹他大学（University of Utah）计算机系助理教授。主要研究方向为信息检索系统，包括信息表示学习模型，机器学习排序模型，无偏优化算法，可解释性、公平性检索模型等。2019年博士毕业于美国马萨诸塞大学阿姆斯特分校（University of Massachusetts Amherst），2014年本科毕业于清华大学。目前主持美国国家科学基金项目（NSF IIS-2007398），亚马逊研究基金（Amazon A9 Research Gift）等。2020年获得谷歌研究学者奖，已发表学术论文50余篇，其中SIGIR、TOIS、WWW等CCF A类会议期刊13篇。曾担任自然语言处理领域高水平会议NACCL’21领域主席（area chair），信息检索领域高水平会议CIKM’20资深程序委员（Senior PC member），以及SIGIR，WWW，ACL，AAAL，TOIS，TKDE等多个著名国际会议和期刊的程序委员及审稿人。
苏亭，华东师范大学
报告题目：移动应用软件的自动化智能测试：新的探索和思考
报告摘要：移动应用软件是以图形界面为交互基础、用户和环境事件为驱动的复杂软件，保证其质量可靠和功能正确对商业成功、团队信誉、用户忠实度具有重要意义，但很有挑战性。如何提高、评估自动化测试效果因此一直是学界和业界普遍关心的问题。本报告将介绍我们华东师范大学研究小组针对这一问题在近期展开的一些的探索，并讨论我们对这一领域的新的思考和未来工作。
报告人简介：苏亭，教授，博导，就职于华东师范大学软件工程学院，研究成果获得了Google教授研究奖、三项ACM SIGSOFT杰出论文奖（ICSE 2018、ASE 2018/2019）等。主要研究方向为软件工程、程序语言和软件安全，在PLDI、OOPSLA、ICSE、FSE、ASE、ISSTA、TSE等国际顶级会议和期刊上发表论文30余篇，担任ICSE、OOPSLA等国际顶级会议的PC成员。设计研发的App自动化测试工具已为腾讯、字节、谷歌等拥有亿级用户数量的软件产品发现了不少真实软件错误；工控软件的自动化单元测试工具SmartRocket Unit已服务于国内十余家大型企业的软件生产部门。其研究工作受到了中国/瑞士国家自然基金委、Google、ByteDance等公司资助。个人主页：http://tingsu.github.io/
范铭，西安交通大学
报告题目：小程序隐私保护合规性分析
报告摘要：随着大数据技术的广泛应用与普及，个人数据滥用、信息泄露导致的安全事件层出不穷，个人隐私数据安全受到了空前的重视。自2020年新冠疫情以来，小程序用户、数量等都得到了爆发性增长，尤其是政务、医疗、服务等方面。然而，目前市场上的小程序突显野蛮生长趋势，存在严重的隐私泄露问题（例如隐私政策丢失，数据过度收集等），绝大部分小程序无法满足已有法规（例如GDPR,网络安全法等）的相关要求。因此，我们针对小程序提出有效的隐私保护合规性检测方法，来帮助企业实现小程序自动化分析，进而对个人数据收集合规检测，防止收集非必要信息,促进小程序生态圈的健全发展。
报告人简介：范铭，博士，西安交通大学副教授。主要研究方向包括软件工程。2013年和2019年分别获西安交通大学学士和博士学位；2019年6月获得香港理工大学博士学位;2019-2020年新加坡南洋理工大学博士后。在ICSE, TIFS, TSE, TR, ACL等重要国际期刊与国际会议上发表论文20余篇，并获得ISSRE 2016，NASAC 2018软件系统安全分论坛最佳论文奖。
甘庭，武汉大学
报告题目：非线性克雷格插值生成
报告摘要：虽然基于克雷格插值的技术在含有非线性表达式的程序验证和混成系统验证中应用越来越广泛，但是非线性理论以及其与其他理论组合的组合理论背景下的克雷格插值生成方法非常少。我们针对非线性多项式不等式理论，证明在阿基米德条件成立情况下，两个互斥的多项式不等式系统，克雷格插值是存在的。接着，我们证明此时克雷格插值生成问题可以转化成半定规划问题，从而可以利用半定规划高效求解。最后，我们演示如何将我们的方法应用到程序验证中的不变量生成上。
报告人简介：甘庭，博士，武汉大学计算机学院博士后。主要从事程序验证、混成系统验证、自动推理、约束求解研究。2011年毕业于北京航空航天大学数学科学学院获得理学学士学位，2017年毕业于北京大学数学科学学院获得理学博士学位。中国计算机学会形式化方法专业委员会委员。在CAV，IJCAR，AAAI，IEEE TAC，JSC，SCIS，软件学报等国内外权威会议和期刊发表论文近10余篇。
王亮，西北工业大学
报告题目：移动群智感知资源优化分配
报告摘要：移动群智感知是众包技术与移动感知相结合而产生的一种全新的计算与感知模式，其在城市计算、公共安全、环境监测等多个领域有着重要而广泛的应用前景。作为移动群智感知中提供数据与服务的基础性资源，移动用户在时空行为、感知能力、协作关系等多个方面有着个性化的复杂特性。在实际应用中，如何优化分配移动用户资源来完成感知任务是一项亟待解决的关键问题。本报告以移动用户资源刻画为基础，给出资源优化分配的相关模型与方法。最后，介绍研究团队近期取得的若干研究进展。
报告人简介：王亮，博士，副教授，主要研究方向包括移动计算、物联网等。2009年和2014年分别获得东北大学硕士和中国科学院大学博士学位。获得2020年度教育部自然科学一等奖，ACM西安分会新星奖，IEEE UIC2019 Outstanding Service Awards，CyberLife'19 Outstanding Paper Award等奖励。在IEEE TMC、JASC、THMS、TCYB、TII、MASS 2021、ACM CSCW 2021、TKDD、TOSN、IOT-J等权威期刊或重要会议发表学术论文多篇，参与制订3项物联网国家标准。担任ACM西安分会秘书长，CCF普适计算专业委员会委员、IEEE CPSCom 2019 Special Session主席，IEEE UIC 2019 Poster and Demo主席等。
朱光明，betway必威西汉姆联官网
报告题目：视觉感知与智能交互
报告摘要：眼睛是心灵的窗户，视觉是人和机器感知这个世界的重要途径。从物体检测、场景理解、行为分析，到智能制造、智能人机交互，视觉感知无不发挥着举足轻重的作用，成为当今计算机领域的研究热点，成为人机融合智能的重要支撑。本报告介绍betway必威西汉姆联官网智能软件与系统新技术研究所团队在视觉感知与智能交互方面的相关成果，包括面向物-景-人的视觉检测算法及系统、智能人机交互系统等。
报告人简介：朱光明，博士，副教授，博士生导师，2015年至今任职于betway必威西汉姆联官网。2009年和2015年分别获浙江大学学士和博士学位。目前主要研究方向包括视觉感知、人体行为分析、智能人机交互。在ICCV、NeurIPS、ACMMM、WWW等CCF A类会议和TMM、TNNLS、TMI等顶级期刊上发表论文30余篇，申请发明专利15项，授权发明专利5项，转让发明专利2项，撰写智能视觉相关书籍1部。朱光明博士获得ICCV 2017的“Outstanding Reviewer”称号，陕西省高等学校技术奖一等奖1项，相关算法和系统研究成果已广泛应用在机器人、工业控制等多个领域。
五、论坛主持人
李青山，betway必威西汉姆联官网
主持人简介：李青山，博士，教授，博士生导师，betway必威西汉姆联官网/我院党委书记、软件工程一级学科负责人、智能软件与系统新技术研究所所长，曾任校发展规划处副处长/一流建设工作办公室副主任、研究生院副院长、软件
学院副院长。目前担任西安市智能软件工程重点实验室主任，教育部省级重点学科“软件工程”学术带头人，享受陕西省“三秦人才”津贴；CCF高级会员、软件工程专委会、大数据专委会、青年工作委员会委员、全国工程专业学位研究生教育指导委员会软件工程领域协作组成员，陕西省计算机学会软件工程专委会副主任。主要从事面向智能体的软件工程、软件体系结构、自适应软件演化、智能软件工程、大数据智能化分析技术等方向研究工作，主持国家科技部重大研发计划课题、国家863重大项目课题、国家自然科学基金面上项目等国家和省部级项目五十余项，在ICSE、ESEC/FSE、《中国科学》、《软件学报》、《计算机学报》等CCF A类会议和软件工程顶级会议期刊发表论文90余篇，授权/公开国家发明专利30余项，获省部级及以上科研/教学奖励两项。
宋胜利，betway必威西汉姆联官网
主持人简介：宋胜利，博士、教授、博士生导师。betway必威西汉姆联官网副院长，西安市智能软件工程重点实验室副主任，中国计算机学会软件工程专委会委员。2006年在西安交通大学计算机科学与技术专业获得硕士学位，2011年在betway必威西汉姆联官网计算机科学与技术专业获得博士学位。在知识驱动的认知计算、自然语言处理、智能问答系统等领域开展研究工作，先后主持十一五、十二五、十三五国防科技重大项目、国防预研项目、陕西省重大科技专项、陕西省人民政府、陕西省公安厅等省部级课题和科研项目，与中电28所、中航631所、中航618所等科研院所开展了多项横向合作研发项目，在神经计算及应用、并行与分布式计算、聚类计算、多媒体技术及应用等国际期刊和ICONIP、GPC等国际会议及国内核心期刊发表了30余篇SCI检索学术论文，申请国家发明专利8项，登记软件著作权4项。承担了软件工程学科专业多门核心课程的教学任务，包括系统分析与设计、面向对象程序设计等本科生课程和语义计算、系统分析与架构设计等研究生课程。获得陕西省教学成果奖二等奖，betway必威西汉姆联官网教学成果奖一等奖、betway必威西汉姆联官网优质教学质量一等奖多次、陕西省微课教学比赛等多项教学奖励，获得betway必威西汉姆联官网优秀共产党员、师德先进个人、优秀教师、优秀导师等荣誉称号。
张 亮，betway必威西汉姆联官网
主持人简介：张亮，教授，博士生导师，1999.09-2009.09浙江大学生物医学工程与仪器科学学院进行本科、硕博学习，是betway必威西汉姆联官网首届“三好三有”导学团队带头人，受聘于betway必威西汉姆联官网首届工程型精英人才称号。目前为betway必威西汉姆联官网嵌入式技术与视觉处理中心主任，主要研究方向包括深度神经网络结构设计、智能环境感知系统及人机交互技术研究，以及嵌入式智能终端系统研制。以第一作者和通信作者在IEEE TNNLS、IEEE TMI、IEEE TMM、IEEE TIP、PR等本领域重要期刊和NeurIPS、ICCV、WWW等顶级国际会议上发表论文70余篇，授权专利20余项，获陕西省科技进步三等奖1项，陕西省高等学校技术奖一等奖1项，主持国家自然基金面上项目、国家重点研发计划等项目多项，所研制的嵌入式智能终端产品已广泛应用于机器人、工业控制等领域。
李 瑞，betway必威西汉姆联官网
主持人简介：李瑞，工学博士，教授，博士生导师，betway必威西汉姆联官网智能软件与系统新技术研究所副所长，西安市智能软件工程重点实验室副主任，软件工程专业学位授权点负责人。中组部第20批援青博士服务团团长（挂职青海师范大学计算机学院副院长），青海省专家人才联合会理事、副秘书长，CCF分布式计算与系统专委会委员。主要从事智能感知、物联网与智能化系统等方向的研究。获得陕西高等学校科学技术奖特等奖和一等奖。
六、联系我们
徐悦甡，betway必威西汉姆联官网
邮箱：ysxu@xidian.edu.cn
王璐，betway必威西汉姆联官网
邮箱：wanglu@xidian.edu.cn
