基本信息

戚妞妞，河南上蔡县人。2026年国际足联世界杯软件工程系讲师、工学博士。长期从事AI组件构造、形式化安全验证、多项式优化等领域研究。参与国家重点研发项目1项、国家自然科学基金2项。发表FM、DAC、CVPR、IANDC、TCAD等CCF A类学术论文7篇，CCFB类学术论文1篇，SCI学术论文2篇，其中以第一作者发表CCF A类论文2篇，JCR分区1区一篇。联系方式：email: jnaite@stu.ecnu.edu.cn。

教育背景

2015年9月-2019年7月：信阳师范公司，获理学学士学位；

2019年9月-2022年6月：桂林电子科技大学，获理学硕士学位；

2022年9月-2026年6月：华东师范大学，获工学博士学位；

工作履历

2026.07.10-至今：2026年世界杯官网、讲师

教授课程

本科生课程：《计算机网络基础》

研究领域

智能系统安全与优化：人工智能组件的构造、形式化安全验证、多项式优化方法研究

科研项目

1.国家重点研发计划项目“符号计算和机器学习融合的自动推理与深度推理理论和算法设计 ”(2023YFA1009402) 参与

2. 国家自然科学基金面上项目“多项式全局优化的准确验证及其在智能控制系统中的应用验证” (NO.12171159) 参与人

3. 广西科技计划项目“多元多项式方程组求解算法及其在数学机械化上的应用” (AD18281024) 参与人

学术成果

一、主要论文：

[1] Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu. Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification[C]// 2026 27th International Symposium on Formal Methods. 2026, (1): 419-439 (CCF A)

[2] Niuniu Qi, Xia Zeng, Banglong Liu, Zhengfeng Yang, Xiaochao Tang, Li Zhang, Chao Peng, Zhenbing Zeng. An Iterative Scheme of Hybrid Controller Synthesis for Nonlinear Systems Subject to Safety Constraints[J]// Information and Computation. 2025, 307: 105377. (CCF A )

[3] Niuniu Qi, Lydia Dehbi, Banglong Liu, Zhengfeng Yang, Zhenbing Zeng. Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving[J]// 2025 Journal of Systems Science and Complexity. 2025, 38(5): 2252–2271. (SCI收录，JCR分区1区)

[4] 戚妞妞, 唐敏, 邓国强. 一种基于多样化多项式的高概率稀疏插值算法[J]. 系统科学与数学, 2021, 41(12): 3324-3341.

[5] 唐敏, 戚妞妞, 邓国强. 基于模算术系数解析的稀疏插值算法[J]. 计算机工程与科学, 2023, 45(4): 599-606.

[6] Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang. Automated Proof of Polynomial Inequalities via Reinforcement Learning[C]//2025 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 2025: 5052-5060. (第二作者，CCF A)

[7] Hanrui Zhao, Niuniu Qi, Mengxin Ren, Banglong Liu, Shuming Shi, Zhengfeng Yang. Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework[C]//2025 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 2025: 10275–10284. (第二作者，CCF A)

[8] Hanrui Zhao, Niuniu Qi, Mengxin Ren, Xia Zeng, Zhenbing Zeng. Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning[C]//2024 61th ACM/IEEE Design Automation Conference (DAC). 2024: 1-6. (CCF A)

[9] Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang. Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning[J]//2023 ACM Transactions on Embedded Computing Systems (TECS). 2023, 22(5s): 1-21. (CCF B)

[10] Hanrui Zhao, Xia Zeng, Niuniu Qi, Zhengfeng Yang, Zhenbing Zeng. Safe DNNtype Controller Synthesis for Nonlinear Systems via Meta Reinforcement Learning[C]//2023 60th ACM/IEEE Design Automation Conference (DAC). 2023: 1-6. (CCF A)

[11] Hanrui Zhao, Mengxin Ren, Banglong Liu, Niuniu Qi, Xia Zeng, Zhenbing Zeng, Zhengfeng Yang. Safe Reinforcement Learning for NN-controlled Systems with Neural Barrier Certificate Guidance[J]//2024 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 2026, 45(5): 2460-2473. (CCF A)

[12] Guoqiang Deng, Niuniu Qi, Min Tang, Xuefeng Duan: Constructing Dixon Matrix for Sparse Polynomial Equations Based on Hybrid and Heuristics Scheme. Symmetry, 14(6): 1174, 2022. (SCI收录，JCR分区2区)