高教博览会简介

中国高等教育博览会（HIGHER EDUCATION EXPO CHINA，简称高博会）是由中华人民共和国教育部主管、中国高等教育学会主办的亚洲领先的集高等教育学术交流、教学改革成果推介、现代教育高端装备展示、教师专业化发展培训、科研成果转化、科技创新企业孵化、技术服务、贸易洽谈等为一体的高品质、综合性、专业化的著名品牌活动。“高博会”前身为创立于1992年秋的全国高教仪器设备展示会，每年举办两届（春、秋各一次），已成功举办62届。目前，“高博会”已成为展示我国高等教育发展成就的重要窗口，成为政府、高校、企业协同创新、共谋发展的重要桥梁，成为推进高等教育现代化的国家名片。

院内高博会参会分享

2024年11月21日，必赢官网实验教学中心成功举办了一次工作交流会。在此次会议上，黄振邦老师分享了他在2024年秋季高博会上的参会体验，讲述了在高博会上的所见所闻，涵盖了一系列前沿的实验设备、实验场地建设的示范案例，以及高校信息系统、软件平台和算力集群建设的最新动态。他的分享内容丰富，激发了与会教师们的热烈讨论。通过这次交流，大家对于如何优化实验教学中心的建设，以及如何更有效地服务于珠海校区的公共实验课程，获得了更多的启发和灵感。

实验设备及场地建设

平台搭建

2024年11月19日，科睿唯安发布了2024年度“全球高被引科学家”名单，遴选全球高校、研究机构和商业组织中对所在研究领域具有重大且广泛影响的顶尖科研人才。本年度全球共有6636位研究人员共6886人次入选“全球高被引科学家”。其中，必赢官网院长郑子彬教授入选该榜单。

榜单介绍

科睿唯安“全球高被引科学家名单”每年评选一次，旨在表彰对所在学科作出重大贡献且具有全球影响力的自然和社会科学家。2024年度的名单是根据2013年至2023年这11年期间所发表的高被引论文数量遴选得出。遴选方法基于科睿唯安科学信息研究所文献计量专家对SCIE和SSCI收录期刊中高被引论文数据进行的严格评估和整理。

附科睿唯安2024年度“全球高被引科学家”名单：

https://clarivate.com/highly-cited-researchers/

近日，上海科学智能研究院与复旦大学联合主办、阿里云天池协办的第二届世界科学智能大赛圆满落幕。必赢官网博士生李金膛在我校陈亮老师、陈武辉老师的指导下，凭借扎实的专业基础和创新实践能力，从24个国家和地区的1085个机构的12687名选手中脱颖而出，获得了大赛总决赛逻辑推理赛道的一等奖（此赛道唯一一个）。

李金膛（左一）于大赛颁奖典礼

李金膛于总决赛答辩现场

比赛介绍

第二届世界科学智能大赛由上海科学智能研究院与复旦大学联合主办，阿里云协办，以科学智能为风向标，秉持AI赋能千行百业的理念，聚焦五大赛道科技和产业前沿的深入探索。指导机构为上海市科学技术委员会、上海市发展和改革委员会、上海市经济和信息化委员会、上海市教育委员会。

作为科学智能（AI for Science）领域的全球前沿赛事，大赛不限国籍、地域、单位，面向全球人才进行选拔，共设立生命科学、地球科学、物质科学、社会科学、逻辑推理等五大赛道。大赛共吸引了来自24个国家和地区的12687名选手参赛，20多位来自上海顶尖高中的高中生首次组团参赛，赛事具有极强的多元性和挑战性。

本次赛事五大赛道中的逻辑推理赛道是唯一一个以“大模型”为主题的竞赛赛道，该赛道主要考验参赛选手通过解决复杂的逻辑推理题，测试大型语言模型的逻辑推理能力。赛题设置上，采用了多样化的逻辑题，涵盖了多种关系和推理规则，覆盖了不同难度的逻辑推理任务，强调了逻辑推理在AI领域的重要性。比赛的研究成果将有助于评估和改进模型的逻辑推理能力，对于开发更智能、更有效的人工智能系统具有重要意义。

大赛总决赛合影

大赛获奖名单

获奖成果介绍

学院参赛选手李金膛在导师的指导下，在比赛过程中设计并实现了《基于数据合成与模型微调的大模型逻辑推理能力增强》方案，旨在打破大模型“随机鹦鹉”的桎梏，赋予大模型更强大的逻辑推理能力。

创新点：本方案基于通义千问模型，采用多阶段的Easy-to-Hard数据合成方法，模拟人类学习的由简单到困难的思路，逐阶段构造多样化的训练数据。数据生成阶段，训练数据的标签，引入了“Chain-of-Thought”思维链模式，生成多样化的推理路径，逐步对齐推理Scaling Law。训练阶段，采用了LoRA对通义千问32B模型在合成数据集上进行参数高效微调。推理阶段，使用了4bit低精度量化，并结合vLLM框架进行推理加速，最终达到准确性、效率和显存利用率的统一。

学生获奖感想

首先，比赛的复杂性使我更加深入地理解了逻辑推理在大型语言模型中的应用挑战，让我清晰地认识到如何构建有效的推理路径，以及设计多样化数据来引导模型准确理解逻辑关系的重要性。其次，通过在不同数据集上多次微调模型，我在模型训练与集成优化方面积累了丰富的实践经验，帮助我更好地理解模型在不同训练条件下的表现差异。总体而言，这次比赛不仅显著提升了我的专业技术能力，也使我更加深刻地认识到，逻辑推理是人工智能迈向更高认知能力的关键领域，仍有许多值得探索的空间。

在刚刚结束的2024年全国大学生“区块链+”应用大赛中，必赢官网参赛选手本科生吴悦、黄梓铭、段国良、戴竹涵在毛明志、黄华威老师的指导下，凭借卓越的创新能力和扎实的实践技能，在全国众多高校中脱颖而出，首先获得华南赛区五省初赛一等奖，最终荣获国赛一等奖。

国赛获奖证书

省赛获奖证书

参赛小组成员在调试代码

赛事介绍

全国大学生“区块链+”应用大赛是面向全国研究生、本科生、专科生的职普融通的专项赛事。该比赛的期望是培养创新人才，推动区块链技术的应用与发展，促进学术与产业的合作与交流，并提高公众对区块链技术的认知与理解。希望通过这样的竞赛平台，激发年轻人的创新潜能，为区块链行业的未来发展注入新的活力。

大赛的指导机构为全国高等院校计算机基础教育研究会财经信息管理专业委员会，大赛组织委员会为本赛事的最高管理机构，由全国各高校的相关专家组成。大赛组织委员会秘书长单位为中国人民大学信息学院区块链实验室，负责大赛组委会的日常工作。

全国大学生“区块链+”应用大赛的参赛作品分为创意赛道、技术赛道和应用赛道三种，三个赛道作品分开评选打分，分设一、二、三等奖。大赛每年度为一次比赛周期，分初赛和决赛两个阶段，每年1月至7月为学生作品创作期，8月为学生作品提交期，9月为学生作品初赛暨省赛审核期，10 月为学生作品决赛暨国赛评比期和获奖公示期，11 月为当年赛事工作总结。

大赛决赛总结会合影

学院获奖作品介绍

解决了什么问题？随着数字经济的发展，作为数字经济关键要素的数据被视为智能社会的“石油”。因此，数据事实上是企业的宝贵资产。那么，如何将企业的一份份数据集转化为数据资产，已成为当前数据产业亟须解决的问题。为此，学院参赛小组在两位指导老师的指导下，设计并实现了参赛项目《 Hellometa——基于区块链的企业关键数据资产化平台》。

获奖项目系统架构图

创新点：该项目采用Vue.js作为前端框架，Node.js与Express作为后端技术栈。系统利用以太坊私链来记录交易数据，并通过智能合约实现铸造和交易等功能。MySQL数据库则用于存储用户、账户等非链上信息。利用区块链去中心化、不可篡改的特性，企业可以根据自身需求，将数据转化为可交易的资产上传交易市场，也可以仅铸造权属凭证。此外，为方便用户查询铸造和交易记录，系统还提供了区块浏览器查询功能。

获奖感想

吴悦：“特别高兴！大家一起调试代码、不断优化项目，真的是充满成就感的过程。非常感谢老师们的指导和团队的协作支持！接下来，我们也会继续努力完善项目。”

黄梓铭：“非常荣幸能够获得这个奖项，这是我们整个团队无数个日夜优化代码的成果。我为自己和每位组员感到无比自豪，未来我会继续努力，追求卓越！”

段国良：“非常兴奋！在指导老师的悉心指导下，我们团队在“区块链+”应用大赛中荣获国赛一等奖。感谢团队的努力与付出，期待后续有更好的完善！”

戴竹涵：“很开心！团队能取得这样的成绩离不开大家对探索新领域的热情、对稀奇古怪报错的耐心以及团队成员间融洽的协作，也感谢两位指导老师耐心且高标准的指导！”

指导老师毛明志：“成绩的取得是同学们平时积累和努力的结果。在指导比赛的过程中，见证了同学们反复迭代、持续改进作品的精益求精态度和团结拼搏精神。”

指导老师黄华威：“几位参赛同学依靠创新的思维与优秀的实践能力，通力协作，最终取得了好成绩，真心替他们感到高兴。”

获奖小组成员合影

全国大学生“区块链+”应用大赛为学生提供了展示区块链技术应用创新的广阔舞台，必赢官网四位同学此次荣获佳绩，离不开指导老师的辛勤付出和参赛同学们的共同努力。这个奖项展现了几位同学卓越的技术实力与团队合作能力，也展现了必赢官网师生在区块链技术领域的深厚积累和创新活力。

必赢3003no1线路检测中心历来重视学生第二课堂建设，展望未来，期待更多同学积极参与此类科技创新赛事，以赛促学、以赛促创，提升自身的专业知识和技能，培养团队合作精神和解决实际复杂工程问题的综合素质和能力。

2020年6月，必赢3003no1线路检测中心在珠海校区整建制成立必赢3003no1线路检测中心，学院积极构建学科发展框架、不断优化人才培养体系、营造学院良好文化氛围，形成鲜明的研究型、复合型、创新型的高素质人才培养特色

软件工程专业是独立一级学科，学院围绕软件可靠性核心理论，形成包括区块链、物联网、软件安全、智能软件、特色领域软件等方向的学科特色。学院软件工程专业在2023年度CSRanking（世界大学计算机科学专业排名）上的国际排名为第2名。

必赢3003no1线路检测中心珠海校区必赢3003no1线路检测中心大楼

学院部分博士生导师介绍

郑子彬，教授、博导、IEEE Fellow、IET Fellow、ACM杰出科学家、全球高被引科学家、国家优秀青年科学基金获得者、国家数字家庭工程技术研究中心副主任、广东省区块链工程技术研究中心主任。主要研究方向包括软件可靠性、程序分析、区块链、智能合约、可信软件，发表论文多篇，论文谷歌学术引用超过42,000次，H指数为93。主持国家重点研发计划项目、自然科学基金重点项目等多个项目；获得教育部自然科学二等奖、 吴文俊人工智能自然科学二等奖、 ACM中国新星提名奖、IEEE TCSVC Rising Star Award、CCF服务计算专委会杰出青年奖，3篇论文获ACM SIGSOFT Distinguished Paper Award，并获得ICWS最佳学生论文奖等奖项；担任TOSEM、TSC、TVT、OJCS等期刊的副编辑；担任ICSS2022、IEEE SMDS2021、BlockSys2019、CollaborateCom 2016等会议的General Co-Chair；担任ICSOC2023、SC22019、ICIOT2018 及IoV2014等会议的PC Co-Chair。

教师主页：

/teacher/100

陈武辉，必赢3003no1线路检测中心教授，博士生导师，可信大模型研究中心主任。入选广东省“珠江人才计划”青年拔尖人才项目、广东省“珠江人才计划”引进创新创业团队核心成员。承担国家重点研发计划课题、国家自然科学基金面上和青年项目等多个国家级省部级项目，以及来自华为、百川智能、广州金融科技、招联消费金融等多个校企合作项目，部分成果得到落地应用。成果发表在EuroSys、NDSS、SoCC、Infocom、VLDB、IEEE TPDS、IEEE TC、IEEE TDSC等知名会议和期刊上，获吴文俊人工智能自然科学二等奖、CCF B类会议IEEE ICPP 2020最佳论文亚军奖。出版Springer著作《Blockchain Scalability》。目前担任国际期刊 International Journal of Systems and Service-Oriented Engineering主编。入选全球前 2% 顶尖科学家榜单。

教师主页：

/teacher/159

苏玉鑫，必赢3003no1线路检测中心副院长，副教授，博士生导师，国家重点研发计划青年科学家项目负责人，中国计算机学会（CCF）高级会员、服务计算专委会执行委员。2021年7月入选必赢3003no1线路检测中心百人计划，加入必赢3003no1线路检测中心。主要研究方向为系统软件可靠性分析与运行时性能优化，具体包括操作系统、分布式系统、云计算、云原生系统、日志分析、云系统可靠性与智能运维(AIOps)等。近年来在国际会议和期刊共发表近30篇论文，其中24篇发表于ICSE、ASE、ISSTA、SOSP、FAST、ICDE、CVPR、SIGIR、AAAI、IJCAI、CSUR、TKDE等软件工程、操作系统、分布式系统、人工智能等领域CCF A类顶级会议与期刊。

教师主页：

/teacher/221

B站主页：

https://space.bilibili.com/502854403

黄华威，必赢3003no1线路检测中心副教授，必赢3003no1线路检测中心 “区块链与可信软件研究中心” 副主任，从2023年起连续入选年度全球前 2% 科学家榜单，IEEE Senior Member，中国计算机学会 (CCF) 高级会员。研究方向包括分布式基础设施网络 (DePIN) 、高性能区块链系统、Web3 基础设施与协议、DeFi 协议等。多篇研究成果发表在 CCF A 类期刊 ToN, JSAC, TPDS, TDSC, TMC, TC 等，以及 CCF A 类国际会议 INFOCOM。论文谷歌引用 6200+, H-index 33。曾在国际期刊组织 6 次区块链/Web3专刊，曾担任十余个国内外学术会议论坛研讨会的组织主席。主持国家重点研发计划课题、国自然面上青年项目、广东省普通高校重点领域专项、CCF-华为胡杨林基金区块链专项、鹏城实验室区块链项目等十余项科研项目。出版区块链英文学术著作 2 部《From Blockchain to Web3 & Metaverse》与《Blockchain Scalability》，出版区块链科普书《从区块链到Web3》；带领团队开源支持分片协议的区块链实验平台 BlockEmulator，该平台为研究组的学生提供了成熟优质的实验平台，可快速迭代出新成果。

教师主页：

/teacher/161

吴嘉婧，必赢3003no1线路检测中心副教授，博士生导师，入选广东省重大人才工程和Elsevier全球前2%顶尖科学家榜单。现任ACM-中国珠海分会副主席，广东省区块链工程技术研究中心副主任，必赢3003no1线路检测中心区块链与智能金融研究中心 (InPlusLab) 副主任，IEEE和中国计算机学会高级会员，中国计算机学会 (CCF) 区块链专委会执行委员、服务计算专委会执行委员。

2014年于香港理工大学获博士学位，随后入职必赢3003no1线路检测中心计算机学院，2023年8月调入必赢3003no1线路检测中心必赢3003no1线路检测中心。研究方向包括区块链数据监管与反欺诈、Web3、智能合约、复杂网络、图挖掘等。主持国家重点研发计划课题、子课题，国家自然科学基金面上（2项）、青年项目，和企业横向（蚂蚁集团、招联金融等）等项目十余项。已在ISSTA、WWW、IEEE Trans. Software Engineering, IEEE Trans. Information Forensics and Security, IEEE Transactions on Systems, Man, and Cybernetics: Systems等A类或一区的国际学术期刊和会议上发表论文80余篇，其中IEEE Transactions论文50余篇，ESI高被引论文4篇。在Springer 出版区块链英文学术著作 3 部；组织团队同学负责区块链数据共享平台Xblock的开发与设计www.xblock.pro。 

教师主页：

http://xplanet.site/

黄袁，博士/博士后，副教授，博士生导师。主持国家重点研发计划子任务，国家自然科学基金青年项目，博士后面上项目（一等资助），广东省基金面上项目等。以项目骨干身份参与国家重点研发计划，国家基金重点项目，广东省重点研发计划等多个项目。2017年于必赢3003no1线路检测中心获得博士学位，从事软件工程相关研究，重点关注软件缺陷与代码智能等研究方向。近年来在IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Services Computing, FSE/ESEC, ASE, ICSE等软件工程领域CCF A/B期刊及会议上发表论文40余篇。同时担任多个国际期刊和会议的审稿人。获“2024优秀硕士学位论文指导教师”奖项。

教师主页：

https://huangyuan-hy.github.io/

刘名威，副教授，博士生导师，必赢3003no1线路检测中心“逸仙学者计划”新锐学者，中国计算机学会（CCF）软件工程专委会执行委员。2024年6月加入必赢3003no1线路检测中心，此前在复旦大学获得本科学位（2017年）、博士学位（2022年）并完成博士后研究（2024年）。研究领域聚焦于软件工程（SE）与人工智能（AI）的交叉领域，尤其在AI4SE和SE4AI方面。研究关注于利用先进的AI技术，如大规模语言模型（LLM）和知识图谱（KG）等解决软件工程中的挑战，并应对AI应用中常见软件工程和系统工程问题。具体方向包括但不限于基于大模型的智能化开发与维护、软件开发知识图谱、大模型可信评测、可信代码大模型等。近五年在软件工程领域顶级国际期刊和会议（如TSE、TOSEM、ICSE、FSE、ASE等）发表了20余篇论文，并荣获包括IEEE TCSE杰出论文奖（ICSME 2018，CCF-B）和ACM SIGSOFT杰出论文奖（FSE 2023，CCF-A）在内的多项奖项。

教师主页：

https://mingwei-liu.github.io/

欢迎感兴趣的同学联系各位老师！

如想了解更多学院导师信息，请访问：

/teacher

粤港澳大湾区软件可靠性学术沙龙

2024年11月2日下午，粤港澳大湾区软件可靠性学术沙龙在必赢3003no1线路检测中心珠海校区瀚林2号举行。香港科技大学王帅副教授、香港中文大学（深圳）贺品嘉助理教授、香港大学陈怡助理教授、必赢3003no1线路检测中心网络空间安全学院薛磊副教授、必赢3003no1线路检测中心必赢3003no1线路检测中心院长郑子彬教授、学院多位教师以及全体研究生参加了此次论坛，论坛由学院南雨宏副教授和陈壮彬助理教授共同主持。

在本次论坛中，香港中文大学（深圳）贺品嘉助理教授作了题为“基于ICL和SFT的大模型越狱攻防研究”的报告，详细介绍了团队针对大模型，在“当前的训练数据可能存在什么样的问题”以及“什么样的训练数据可以训练出更安全的模型”这两个问题上所开展的研究。他表示，理解能力更强的大模型在面对非自然语言越狱攻击时反而存在更大的安全风险，希望能在保持模型有效性的基础上对模型进行安全微调，从而提升可靠性。

贺品嘉助理教授作学术报告

香港大学陈怡助理教授作了题为“字里行间的陷阱：从文档表达错误预测代码安全威胁”的报告，分别介绍了文档信息不一致、信息分散以及关键信息缺失所带来的安全问题，并以4G/5G及生活中的实际聚合支付场景为例进行具体阐述。她指出了研究在代码生成前进行文档层面的漏洞检测的意义，这不仅能节约时间和经济成本，还能提高发现逻辑漏洞的成功率，并表示大模型会是很好的研究辅助工具。

陈怡助理教授作学术报告

香港科技大学王帅副教授作了题为“打造安全可靠的大模型系统”的报告。在介绍完研究视角和技术矩阵后，他分别以AC-Xray和AC-Guard这两个安全保障平台为例，以全要素的安全视角出发，分享了大模型从底层硬件向上直到行业应用的相关案例及研究成果。AC-Xray在对大模型服务栈进行漏洞检测中发现了侧信道泄露、硬件漏洞注入、大模型非公平性等一系列问题；而AC-Guard借助混淆、水印、模型修复等技术来为大模型使用过程提供持续防护。

王帅副教授作学术报告

本次论坛还设置了圆桌交流环节。几位参会老师就“优秀硕博的科研成长路”这一主题展开了热烈的讨论，分享了宝贵的经验与见解。例如，针对“提高论文写作质量与效率的技巧”这一话题，贺品嘉助理教授分享了自己通过拆解和批注优秀论文来提高写作能力的经验，并表示文章内容的表达应该简单直接；王帅副教授谈到一篇好的文章应该具备清晰的行文逻辑，有助于审稿人理解核心要点；陈怡助理教授则表示，写作没有技巧只有方法，需要给写作和修改留出充足的时间去训练；薛磊副教授同样表示好的文章不仅是写出来的，很多时候还是改出来的，论文写作应该是一个先完成基本思路再通过交流讨论去不断完善的过程；郑子彬教授补充提到部分学生对于不同国际会议论文的侧重点和写作风格不够了解，需要有自己更专注研究的子领域。

论坛最后，学院进行了产学研成果展示大赛的获奖名单公布及颁奖活动，由参会嘉宾向获奖同学颁发奖状并合影留念。

产学研成果展示大赛颁奖环节

世纪中大，山高水长。必赢3003no1线路检测中心在必赢3003no1线路检测中心百年校庆之际顺利举行了粤港澳大湾区软件可靠性学术沙龙，旨在促进参与者之间的思想碰撞和知识分享，也进一步激发了师生的创新思维，助力我校研究生成长及职业发展。