2023AIDD AI+軟件研發數字峰會·北京站嘉賓PPT合集（共28套打包）

1、開場致辭：軟件研發進入AI驅動的新時代朱少民，AiDD發起人傳說中的掃地僧，在現實中極其罕見但今天就從一個“掃地僧”故事開始Walter Harry Pitts(1923.4 1969.5)一個在今天都不失去意義的勵志故事1935年，12歲的皮茨花3天時間讀了羅素的數學原理，并寫信指出第一卷前半部分存在著嚴重問題。1938年，15歲的皮茨初中畢業，父親強行他退學，皮茨離家出走，無處可去的皮茨得知。

2、數字化時代研發效能提升策略與系統性方法張樂 騰訊演講嘉賓張樂騰訊研發效能資深技術專家前百度工程效率專家、前京東DevOps平臺產品總監兼首席架構師長期在數萬人研發規模的一線互聯網公司，負責研發效能提升、研發效能度量、敏捷與DevOps實踐落地、一站式DevOps平臺設計和研發工作DevOps運動國內早期布道者與推動者，DevOpsDays 中國區核心組織者國內主流 DevOps、工程生產力、研發。

3、阿里云服務器智能異常調度系統構建與實踐朱兆良 阿里云計算有限公司演講嘉賓朱兆良阿里云計算有限公司 高級技術專家阿里云彈性計算平臺異常調度AIOPS方向負責人。經歷淘寶、阿里媽媽、對象存儲、彈性計算多個子公司及部門，近8年的運維管控系統建設經驗，主導建設存儲運維管控系統赤驥，近年來專注彈性計算異常調度平臺AIOPS方向，致力于通過AI的方式賦能并提升彈性計算穩定性、運維效率及智能運維能力。目 錄C。

4、大語言模型下的文本數據治理于政海致星圖演講嘉賓于政海致星圖研發副總裁知識平臺研發中心負責人，產業大模型研發與解決方案架構師，主要研究方向為自然語言處理、知識圖譜、深度學習等，并在金融、能源電力和工業制造等領域擁有豐富的產品研發、解決方案咨詢設計與項目落地經驗，主持、參與了多項人工智能國家專項項目，近年來在IJCAI、TKDE等頂級期刊會議上發表多篇文章，申請專利十余項，科學出版社“新一代人工智能。

5、“Bug”的尋根溯源之旅自動化軟件缺陷定位技術謝曉園 武漢大學演講嘉賓謝曉園武漢大學計算機學院教授 博士生導師武漢大學特色化示范性軟件學院副院長武漢大學珞珈青年學者、基金委外國優秀青年學者研究基金獲得者。主要研究方向為軟件測試、軟件缺陷定位與修復、程序分析與切片、智能軟件工程等。曾解決了軟件缺陷定位領域公式性能評估的瓶頸難題，被軟件工程頂級期刊IEEE TSE評為全球軟件蛻變測試領域十大代表性研。

6、大語言模型是軟件工程的銀彈嗎？夏鑫 華為演講嘉賓夏鑫 華為軟件工程應用技術實驗室主任夏鑫的研究方向是智能化軟件工程、軟件倉庫挖掘和經驗軟件工程。夏鑫至今發表了290多篇論文，其中包括120多篇CCF A類期刊和會議長文，谷歌學術引用1.2萬多次，H-index 62。夏鑫獲得了2022年ACM SIGSOFT Early Career Researcher Award（亞太地區第一位），部分論文。

7、算法合成自動應用算法模式合成高效程序熊英飛 北京大學演講嘉賓熊英飛北京大學副教授熊英飛于2009年從日本東京大學獲得博士學位，2009-2011年在加拿大滑鐵盧大學工作，2012年加入北京大學，現任新體制長聘副教授。熊英飛的研究興趣是程序設計語言和軟件工程，特別是程序合成、修復和分析。他提出了理論和方法降低程序編寫和缺陷修復的代價。比如，基于差別的雙向變換框架是最廣泛使用的雙向變換框架之一，概率。

8、復雜安全攸關嵌入式系統的形式設計與實現王淑靈 中國科學院軟件研究所目 錄CONTENTS1.背景和問題2.基于Simulink/Stateflow和AADL的協同設計3.HCSP形式建模和驗證4.已驗證模型到代碼的生成5.應用背景和問題PART 01研究背景安全攸關嵌入式系統是國民經濟的重要基礎和國家重大任務的核心支撐。安全攸關嵌入式控制系統廣泛應用于國防、交通、高端制造等關鍵領域，其失效可能導。

9、借助AIOps算法提升業務可觀測性在京東科技的實踐之路張靜京東科技演講嘉賓張靜京東科技智能運維算法高級經理智能運維發明專利50項、IEEE國際會議論文收錄10篇。帶領團隊致力于京東智能運維算法迭代，應用于京東線上橫向業務場景，算法在監控、數據庫、網絡、資源調度等多個縱向場景取得突破。2021數據技術嘉年華解密StarDB國產數據庫智能運維的核心算法 ArchSummit2022全球架構師峰會智能。

10、多模態大模型驅動新一代技術變革演講人 王金橋演講嘉賓王金橋 中科院自動化研究所紫東太初多模態中心常務副主任中國科學院自動化研究所副總工程師，紫東太初多模態中心常務副主任，研究員，博導，武漢人工智能研究院院長，中國科學院大學人工智能學院崗位教授，多模態人工智能產業聯盟秘書長，中國技術創業協會技術創新工作委員會副理事長，獲北京市高聚領軍人才、廣州市創新團隊領軍人才、山東省泰山領軍人才等稱號。共發表包。

11、ALM關鍵技術與應用范式王昊奮 同濟大學演講嘉賓王昊奮OpenKG發起人/CCF知識圖譜SIG主席同濟大學百人計劃特聘研究員、OpenKG發起人之一，業界知名知識圖譜與自然語言處理專家，騰訊云最具價值專家TVP，CCF術語工委副主任、知識圖譜SIG主席、上海秘書長，中國中文信息學會理事，暢銷書知識圖譜方法、實踐與應用的作者，曾作為2家AI獨角獸企業的CTO；具有超過16年的知識圖譜研發和技術管理。

12、尋星者的筆觸：AI設計與未來想象AI Creative Commons演講嘉賓王寶田AI Creative Commons-AI 共創知識庫參與 2008 北京鳥巢場館深化設計和工程建設。360 高級產品設計專家，UX Lib 用戶體驗社區創始人，AICC(AI Creative Commons)創始人?；ヂ摼W醫療、游戲、快消等行業多次創業經驗。目錄一.點燃 AI 之火：描繪未來的畫卷二.真實的。

13、%?w?o?S?m?/?e?o?/?c?P?A?tI?e?P?tI?A?P?C?o?P?2?C?O?g?Da?PD?g?,?30?10?7.62?o?,?D?a?a?E?m?/+1?E?00/?v?G?e?a?D?UE?d?r?3?k?Y?t?r?l?a?h?j?h?F?H?8N?CHA?IG?NMCHA?3?CH?H?1HM?FFCA?H?o?f?b?f?d?b?h?I?f?P?RR?M,I?。

14、人工智能工程化軟件研發龍明盛 清華大學演講嘉賓龍明盛清華大學軟件學院長聘副教授清華大學長聘副教授、軟件學院機器學習研究組負責人，國家優秀青年科學基金獲得者，入選北京市科技新星和清華大學良師益友。主要研究領域為機器學習理論、算法與模型，專注于遷移學習、深度學習、科學學習及其在自然科學和軟件工程中的應用。以第一或通訊作者發表Nature正刊/子刊和JMLR、TPAMI、ICML、NIPS、ICLR論。

15、百度單元測試智能生成實踐劉曉娟 百度演講嘉賓劉曉娟百度資深軟件工程師2014年加入百度，負責百度研究院CI工作。2017年擔任覆蓋率平臺技術負責人，從0開始構建了百度內部測試覆蓋率度量的工具體系及平臺。2018年負責了百度單測構建基礎設施的建設，注重單測提效，建設了精準單測及分布式單測。2022年底著手單測智能化生成，截止目前在百度內部已支持了top研發語言的單測生成，并廣泛落地在研發的日常研發。

16、大語言模型評價的挑戰劉偉 小米演講嘉賓劉偉小米AI實驗室算法總監小米AI實驗室大模型算法負責人，北京大學心理與認知科學學院碩士行業導師，清華大學機器學習課程答辯導師，微軟小冰初創成員。研究方向：人機對話和大語言模型。有超過10年的人機對話從業經歷，主導和深度參與了微軟小冰、小愛同學等業界具有影響力的人機對話產品的研發，并有數項專利和頂會論文發表。目 錄CONTENTS1.模型評價概述2.大語言模。

17、基于大模型輔助編程業務實踐劉濤 中興通訊演講嘉賓劉濤中興通訊AI算法專家/開源Adlik項目架構師中興通訊資深AI算法專家，主要研究領域為AI模型并行訓練，模型推理優化，高性能計算，異構硬件模型部署等技術，在相關領域取得多項專利，也是 Adlik 開源項目首席架構師，為社區多次貢獻代碼，撰寫多篇模型優化部署領域相關的ORAN組織標準提案，近幾年在WAIC，百度WaveSummit，CSDN 10。

18、工業級知識語義框架及引擎架構梁磊螞蟻集團演講嘉賓梁磊螞蟻集團技術總監/資深專家螞蟻知識引擎負責人，個人主要技術方向為知識圖譜、搜索推薦引擎及AI工程等，于2018年開始主導螞蟻知識圖譜的建設，基于螞蟻多樣性的金融業務場景構建了企業級知識圖譜引擎架構，平臺累計提報140+件專利，10余項軟件著作權，主導支撐孵化的項目先后獲得BU總裁特別獎、數據科學獎、優秀成果獎等，平臺能力通過了CESI測評認證，。

19、基于大模型的程序修復劉逵 華為劉逵華為2012軟件工程應用技術實驗室智能化軟件工程技術專家華為2012實驗室智能化軟件工程技術專家，CCF會員，CCF軟件工程專委會委員。主要從事軟件編碼、軟件測試、程序分析、代碼檢視等智能化軟件工程工作，在軟件工程領域發表高水平研究論文40余篇，其中CCF A類期刊/會議論文十多篇，曾任南京航空航天大學計算機科學與技術學院副教授，主持過國家自然科學基金面上項目一。

20、基于機器學習的自動化AI芯片編譯技術李建軍 地平線演講嘉賓李建軍地平線 編譯器研發部負責人2012年博士畢業于中國科學院計算技術研究所，2012年至2016年在計算所任副研究員，主要研究方向為動靜態程序分析、編譯優化、軟件安全等。2016年底加入地平線，負責AI芯片的編譯器及Runtime相關的研發工作，并直接參與AI芯片的軟硬件協同設計開發。在AI芯片編譯優化，基于機器學習的編譯優化技術等方面。

21、AI+低代碼在金融行業軟件工程的實踐李方 普元信息技術有限公司演講嘉賓李 方普元金融解決方案研發中心首席方案專家12年金融行業從業經驗，曾就職于神州信息、德勤等多家金融科技服務或咨詢公司。參與多家城市商業銀行核心等業務系統的建設工作，以及某政策性銀行新一代新核心業務系統的咨詢工作；在業務領域，對銀行的核心業務包括存貸支付等都有較為深入的了解；在技術領域，對目前分布式、云原生等在金融領域的應用也有。

22、OpenRL:A Unified Reinforcement Learning Framework黃世宇 第四范式演講嘉賓黃世宇第四范式強化學習科學家，開源強化學習OpenRL Lab負責人本科與博士均畢業于清華大學計算機系，導師是朱軍和陳挺教授，本科期間在CMU交換，導師為Deva Ramanan教授。主要研究方向為強化學習，多智能體強化學習，分布式強化學習。曾在ICLR、CVPR、AAAI、。

23、大模型落地面向企業級客戶服務場景的實踐Sunny Zhang 浪潮信息演講嘉賓Sunny Zhang 浪潮信息 大模型高級產品經理 博士研究生，浪潮信息人工智能與高性能應用軟件部高級產品經理，源大模型產品負責人。長期從事高性能計算和人工智能計算的創新與產品化工作；參與國家級自然科學基金3項，省部級科技進步獎6項；發表國內外SCI、EI期刊及會議論文10余篇。目 錄CONTENTS1.大模型已落地。

24、AI驅動的云上軟件工程研發新范式高家祺 杭州諧云科技有限公司演講嘉賓高家祺諧云科技資深技術總監，DevOps/微服務產品負責人，敏捷教練目前就職于諧云科技，主要負責DevOps產品研發、推廣、落地，擁有多年大規模微服務架構、軟件工程化、團隊敏捷化實踐經驗，主導過觀云臺、DevOps、項目管理、API網關、微服務治理平臺等產品孵化、架構升級建設，目前服務過的客戶主要覆蓋政府、銀、證券、能源業，包括。

25、InsightPilot:Towards LLM-Empowered Automated Data Exploration丁銳 微軟演講嘉賓丁銳微軟 首席研究員丁銳是微軟的數據、知識和智能（DKI）團隊的首席研究員。丁銳一直致力于數據分析當中的洞見（insights）研究，這對于在商業和日常生活中理解數據及有效決策至關重要。丁銳的研究主要集中在兩個主題上。第一個主題是如何將洞見概念轉化為可計算的。

26、Linux全棧智能調優的好幫手胡玉溪 KeenTune（輕豚）演講嘉賓胡玉溪KeenTune產品發起人、負責人；阿里云高級技術專家龍蜥社區KeenTune SIG發起人、Maintainer阿里云高級技術專家、鉆石布道師前華為測試專家、測試經理發表論文：ICSE/FSE22 Industry Practice of Configuration Auto-tuning for Cloud Appl。

27、解鎖AI原生服務潛能，賦能個性化AI創新：Prompt Sapper平臺設計和技術實踐演講人：黃箐Prompt Sapper項目團隊黃箐江西師范大學邢振昌CSIROs Data61積極、熱情的軟件工程研究者，博士畢業于武漢大學，專業為計算機軟件與理論專業，后作為訪問學者前往澳大利亞國立大學，受到邢振昌教授的悉心指導。他專注于智能化軟件工程、人機交互和人工智能應用等多個領域的交叉研究。他與邢振昌教。