苏亭

2007/09-2011/07 华东师范大学 软件工程 本科

2014/02-2015/02 美国加利福尼亚大学戴维斯分校(UC Davis) 访问博士生

2011/09-2016/07 华东师范大学 计算机软件与理论 工学博士

2016/08-2019/05 新加坡南洋理工大学（NTU） 网络安全实验室 博士后研究员

2016/12-2017/10 新加坡劳斯莱斯-南洋理工大学联合实验室 研究科学家

2019/06-2020/09 瑞士苏黎世联邦理工学院（ETH Zurich） 高级软件技术实验室 博士后研究员

2020/10-至今 华东师范大学 软件工程学院 教授

华东师范大学软件工程学院教授、副院长，入选国家级青年人才计划，曾在新加坡南洋理工、瑞士苏黎世联邦理工担任博士后研究员，主要研究方向为软件工程、程序语言和软件安全，研究工作主要集中在对各类复杂软件与系统的可信和安全保障方面。其相关工作发表在PLDI、OOPSLA、USENIX ATC、CCS、S&P、ICSE、FSE等程序语言设计、操作系统&体系结构、系统和软件安全、软件工程等领域的国内外重要会议和期刊上，相关技术成果形成了商业化软件测试和分析工具；或被头部企业工具集成，服务于全球十几亿用户。曾获得CCF科技成果奖技术发明一等奖、CCF软件工程和系统软件专委会青年科技奖、CCF-华为胡杨林基金年度优秀项目、CCF-蚂蚁科研基金“优秀应用项目”奖、Google教授研究奖、六项CCF-A类国际会议的ACM SIGSOFT杰出论文奖等；主持中国国自然面上项目（2项）、重点研发计划课题（1项）、瑞士国自然Spark项目1项、以及企业项目多项。

更多个人信息、研究成果和招生信息请访问个人主页：https://tingsu.github.io/

欢迎博士后、博士、硕士以、本科生加入我们的研究小组。如果你对工业软件（如工业协议、集成电路装备等）；人工智能（如大模型等）与软件工程和系统软件（如操作系统、编译器等）交叉方向；软件分析、测试、验证、系统和软件安全感兴趣，欢迎随时邮件联系和交流（附上你的简历和你的项目经历）。我们也欢迎暑期实习生。欢迎随时邮件联系和交流（招生/招聘启事）。

请访问：https://tingsu.github.io/files/services.html 

工业软件，软件分析、测试、验证、系统和软件安全、人工智能与软工和系统交叉方向。

请访问：https://tingsu.github.io/files/courses.html 

• 集成电路装备高可信软件智算公共服务平台建设与应用示范

• 国自然面上项目 (面向移动软件的功能性质自动综合技术, PI, 2026-29)

• 华为合作研究项目 (鸿蒙应用性质测试技术, PI, 2025-26)

• CCF-华为胡杨林基金-软件工程专项 (融合符号化规则和多模态大模型的移动应用功能正确性协同检测技术, PI, 2025-26)

• 华为合作研究项目 (鸿蒙应用功能地图构建与分析技术, PI, 2024-25)

• CCF-华为胡杨林基金-系统软件专项 (基于程序静态分析和大模型技术增强的鸿蒙原生应用自动化测试技术研究, PI, 2024-25)

• 重点研发计划课题 (基于静态分析及主动学习协同的私有协议逆向, PI, 2022-25)

• 国自然面上项目 (基于随机性质的移动应用软件功能错误自动化检测技术, PI, 2021-24)

• 字节跳动创新研究项目 (移动应用软件功能错误的自动化检测技术, PI, 2022-24)

• 华为合作研究项目 (切片代码仿真验证技术, PI, 2023-24)

• CCF-蚂蚁科研基金 (基于测试预言自动化构建的静态分析工具模糊测试技术研究, PI, with co-PI: Chengyu Zhang, 2021-22)

• 字节跳动创新研究项目 (移动应用软件中系统配置变更引入缺陷的自动化检测技术, PI, 2021-22)

• National Youth Talent Award (2020)

• Swiss NSF Spark Porject (Property-based Randomized Testing of Mobile Applications, sole PI, 2019-2020)

• Google Faculty Research Award (co-PI, with PI: Zhendong Su, 2019-2020)

• NTUitive Gap Fund (Cloud-based Mobile App Testing Service, co-PI, NTU, with PI: Yang Liu, 2017-2018)

论文列表：https://tingsu.github.io/files/publication.html 

• CCF软件工程和系统软件专委会青年科技奖（原“NASAC软件青年创新奖”） (2025)

• CCF-华为胡杨林基金系统软件专项2024年度优秀项目 (2025)

• ACM SIGSOFT Distinguished Paper Award (ASE 2025)

• ACM SIGSOFT Distinguished Reviewer Award (FSE 2025)

• 入选华东师范大学理工科“2024年度科技进展”（“功能性质驱动的移动应用软件全自动、强检错测试技术”，负责人，全校共7项）

• ACM SIGSOFT Distinguished Paper Award (ASE 2024)

• 上海市青年五四奖章个人，2023

• 中国软件大会软件研究成果原型系统竞赛一等奖（“一种基于自动机路径分析的 GUI 测试工具诊断分析方法及其基准测试集”），2023

• 中国软件大会软件研究成果原型系统竞赛优胜奖（“面向移动应用软件中数据处理错误的模糊测试方法”），2023

• Worldwide's Top 2% Scientists ranked by Stanford University（世界前2%顶尖科学家）, 2022-23

• CCF-蚂蚁科研基金“优秀应用项目”, 2023

• ACM SIGSOFT Distinguished Paper Award (ISSTA 2023)

• CCF Science and Technology Award (面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用, 技术发明一等奖, 排名第4，2021)

• Second Place in ACM Student Research Competition (ICSE 2021, Jingling Sun, advisor), ACM, 2021

• ACM SIGSOFT Distinguished Paper Award (ASE 2019)

• ACM SIGSOFT Distinguished Paper Award (ASE 2018)

• ACM SIGSOFT Distinguished Paper Award (ACM, ICSE 2018)

• Nomination for Distinguished PhD Thesis, Selected by China Computer Federation (CCF), 2017

• Best Research Prototype Tool Award (First Place, NASAC 2017), CCF, 2017

• First Place in ACM Student Research Competition (ICSE 2016), ACM, 2016

• Outstanding PhD Thesis Cultivation Sholarship, ECNU, 2016

• ACM SIGSOFT Travel Award (ICSE 2015)

• National Scholarship for Doctorate, China, 2014

• Graduate Student Overseas Visiting Scholarship, ECNU, 2014