一、基本情况

郑黎晓，女，博士，副教授。2012年毕业于中科院软件所，获计算机软件与理论博士学位，2009年至2011年国家公派英国爱丁堡大学信息学院进行访问学习，现为华侨大学计算机学院副教授、硕士生导师，CCF形式化方法专委会委员。主要研究方向包括智能软件工程、图数据算法及其应用、计算机辅助教学等。先后主持国家自然科学基金青年项目1项、福建省自然科学基金面上项目2项、国家重点实验室开放课题1项、校中青年教师科研提升资助计划1项、新工科示范课程建设项目1项等；发表学术论文20余篇，其中包括《中国科学》、《软件学报》、《The Computer Journal》、《Information Systems》等国内外重要期刊和会议论文；申请及授权发明专利10余项；荣获厦门市科技进步二等奖、泉州市科技进步三等奖、华侨大学教学成果奖、华侨大学青年教师精彩一堂课二等奖等奖项。

二、教育经历

2006/09–2012/07，中国科学院软件研究所，计算机软件与理论，博士（硕博连读）

2009/11–2011/04，爱丁堡大学信息学院，访问博士生

2002/09–2006/07, 吉林大学计算机学院，计算机科学与技术，学士

三、主持或参加科研项目

• 华侨大学中青年教师科研提升资助计划项目，扩展正则表达式的语义正确性保障问题研究，2022/05-2026/04，主持
  

• 福建省自然科学基金面上项目，基于高阶变异的正则表达式测试串生成与缺陷修复，2021/11-2024/10,主持

• 横向课题，装修公司信息管理系统，2021/11-2022/11，主持

• 国家自然科学基金面上项目，支持计数与无序的扩展表达式的理论问题与应用研究 ，2019/01-2022/12，参加

• 国家自然科学基金青年项目，正反例相结合的正则表达式极限识认算法，2016/01-2018/12，主持

• 福建省自然科学基金面上项目，结构与语义约束相融合的XML模式推断研究，2015/04-2018/04,主持

• 国家自然科学基金面上项目，确定性表达式及其子类的理论问题与工具研究，2015/01-2018/12，参加

• 计算机科学国家重点实验室开放课题，XML数据的模式推断与键约束发现研究，2014/07-2016/06,主持

• 华侨大学人才引进科研启动项目，XML 数据上的视图确定性问题研究，2013/01-2014/12，主持

• 国家自然科学基金面上项目，无秩树结构数据和语义多态类型系统的研究，2011/01-2013/12，参加

四、主要学术论文

• Yixuan Yang, Weihao Su, Lixiao Zheng, et al. Deducing Matching Strings for Real-World Regular Expressions. The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA), LNCS, 14464, pp. 331–350, 2023.

• 郑黎晓,余李林,陈海明,陈祖希,骆翔宇,汪小勇.基于变异的正则表达式反例测试串生成算法.软件学报, 2023（EI,CCF中文A类）

• Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang. Incremental Witness Generation for Branching-Time Logic CTL*. IEEE Transactions on Reliability, 2022, 71(2):933-950（SCI）

• 骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓. 基于时态测试器的实时分支时态逻辑模型检测. 软件学报, 2022, 33(8):2930−2946（EI，CCF中文A类）

• Lixiao Zheng, Shuai Ma*, Zuxi Chen, Xiangyu Luo. Ensuring the Correctness of Regular Expressions: A Review. International Journal of Automation and Computing. 2021.（SCI）

• Lixiao Zheng, Shuai Ma*, Yuanyang Wang, Gang Lin. String Generation for Testing Regular Expressions. The Computer Journal. 2020，63(1):41-65.（SCI，CCF B类）

• Gang Lin, Lixiao Zheng*, Wuanyang Wang. An Algorithm for Learning Regular Expressions Based on Repeated String Detection. Proceedings of the 2nd International Conference on Computer Science and Artificial Intelligence, 2018: 237-241（EI）

• Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng and Zuxi Chen. Symbolic Model Checking for Discrete Real-Time Systems. SCIENCE CHINA Information Sciences, 2018.（SCI，CCF A类）

• Lixiao Zheng, Shuai Ma*, Xiangyu Luo, Tiejun Ma. Single-View Determinacy and Rewriting Completeness for a Fragment of XPath Queries. SCIENCE CHINA Information Sciences,2016, 59(9):1-3.（SCI，CCF A类）

• 郑黎晓*, 王成. XML模式推断研究综述. 电子学报, 2016, 44(2):461-471.（EI，CCF中文A类）

• Ping Lu, Feifei Peng, Haiming Chen*, Lixiao Zheng, Deciding Determinism of Unary Languages, Information and Computation, 2015, 245:181–196 （SCI，CCF A类）

• 郑黎晓*, 王成, 常青玲，一种基于模式覆盖的XML文档自动生成方法，小型微型计算机系统，2015，36(01): 77-82

• 郑黎晓*, 常青玲, 一种利用模式信息的XPath测试集约简方法，小型微型计算机系统，2014，35(12): 2670-2674.

• 郑黎晓*, 常青玲, 徐世廷, 视图确定性问题及其研究进展计算机工程与应用，2014，50（14）：121-126

• 冯晓强, 郑黎晓, 陈海明*. 一类受限正则表达式的推断算法. 计算机科学, 2014, 41(4): 178-183.

• Wenfei Fan，Floris Geerts，Lixiao Zheng* ，View determinacy for preserving selected information in data transformations，Information Systems，2012，37(1):1-12 （SCI，CCF B类）

• Lixiao Zheng, Haiming Chen, Determinacy and Rewriting of Conjunctive Queries over Unary Database Schemas, In: Proceedings of the 26th ACM Symposium on Appied Computing (SAC), pp.1044-1049, Taichung, Taiwan, 2011.3.21-3.25 （EI收录）

• 郑黎晓，许智武，陈海明*，基于文法分支覆盖的短句子生成算法，软件学报，2011，22（11）：2564-2576（EI，CCF中文A类）

• Zhiwu Xu, Lixiao Zheng, Haiming Chen*, A Toolkit for Generating Sentences from Context-free Grammars, International Journal of Software and Informatics, 2011, 5(4) : 659-676

• Zhiwu Xu, Lixiao Zheng, Haiming Chen, A Toolkit for Generating Sentences from Context-Free Grammars, In: Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 659-676, Pisa, Italy, 2010. 9.13-9.18（EI收录）

• Lixiao Zheng, Duanyi Wu, A Sentence Generation Algorithm for Testing Grammars, In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp.130-135, Seattle, Washington, USA, 2009.7.20-7.25（EI收录）

• Lixiao Zheng, Haiming Chen, A Systematic Framework for Grammar Testing, In: Proceedings of the 8th IEEE International Conference on Computer and Information Science (ACIS-ICIS), pp.1013-1019, Shanghai, China, 2009.6.1-6.3 （EI收录）

五、申请及授权发明专利情况

•  郑黎晓;肖集鹏;张国督;陈祖希;骆翔宇.一种基于路径束的可疑资金流向追溯方法及系统

•  黄冠杰;骆翔宇;王少伟;陈祖希;郑黎晓.一种基于字根的中文文字识别方法及系统

•  郑黎晓;肖集鹏;张国督;陈祖希;骆翔宇.一种银行交易欺诈行为检测方法、系统及电子设备

•  郑黎晓;陈祖希;骆翔宇;周长利. 一种智慧物流控制系统的正则表达式测试方法和系统

•  张世钒;陈祖希;梅萌;骆翔宇;郑黎晓;周长利;徐中伟.银行交易资金回流多线程并行检测方法及系统

•  陈祖希;牛传军;梅萌;骆翔宇;郑黎晓;周长利;徐中伟.一种自主列车运行控制系统建模及验证方法

•  骆翔宇;陈祖希;黄欣玥;梅萌;徐中伟;郑黎晓;李卫娟;张程;刘晓.一种轨道交通联锁系统的安全分析方法及系统

•  陈祖希;谭兴;骆翔宇;梅萌;徐中伟;郑黎晓;李卫娟;张程;刘晓.一种自动驾驶人机界面安全性验证方法及系统

•  陈祖希;谭兴;骆翔宇;梅萌;郑黎晓;徐中伟.一种蒸汽锅炉系统的安全分析方法及系统

六、科研获奖情况

• 轨道交通信息物理融合系统的可信保障技术及应用”获2023年度厦门市科技进步奖二等奖，排名第七
  

• 互联网+公务出行服务平台”获2018年度泉州市科技进步奖二等奖，排名第三

七、招生信息

招生专业：软件工程（学硕），电子信息（专硕） 

研究方向：智能软件工程，图算法及其在金融领域的应用，计算机辅助教学

联系方式：zheng_lixiao@163.com