计算机学院
首页 > 师资队伍 > 教学科研 > 按系别 > 软件工程系 >      正文

郑黎晓

2020-10-07  点击:[]

郑黎晓,女,博士,副教授。2012年毕业于中科院软件所获计算机软件与理论博士学位,2009年至2011年国家公派英国爱丁堡大学信息学院进行访问学习,现为华侨大学计算机学院副教授、硕士生导师。主要研究方向包括大数据分析、智能软件工程,主讲本科生“数据结构”、“软件质量保证与测试”等课程。主持和参与多项国家自然科学基金和福建省自然科学基金项目,发表学术论文20余篇,其中包括《中国科学》、《软件学报》、《The Computer Journal》、《Information Systems》等国内外重要期刊和会议论文,大部分被SCI和EI收录。获得泉州市科技进步三等奖、华侨大学教学成果奖、华侨大学青年教师精彩一堂课二等奖等奖项。

【教育经历】

2006/09–2012/07,中国科学院软件研究所,计算机软件与理论,博士

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

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

【工作经历】

2012/7-至今,华侨大学,计算机科学与技术学院,讲师、副教授

【近期主持或参加的部分科研项目】

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

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

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

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

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

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

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

【近期发表的部分学术论文】

  • Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, and Fan Yang. Incremental Witness Generation for Branching-Time Logic CTL. IEEE Transactions on Reliability,2022(SCI,已录用)

  • 骆翔宇, 黄欣玥, 古天龙, 苏开乐, 陈祖希, 郑黎晓.基于正时态测试器的实时分支时态逻辑符号化模型检测.软件学报.2022.08(EI,已录用)

  • 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收录)

  • 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收录)

  • 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收录)

  • 郑黎晓*, 王成. XML模式推断研究综述. 电子学报, 2016, 44(2):461-471.(EI收录)

  • Ping Lu, Feifei Peng, Haiming Chen*, Lixiao Zheng, Deciding Determinism of Unary Languages, Information and Computation, 2015, 245:181–196 (SCI收录)

  • 郑黎晓*, 王成, 常青玲,一种基于模式覆盖的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收录)

  • 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收录)

  • 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收录)



【联系方式】

邮箱:zheng_lixiao@163.com

办公室:华侨大学厦门校区机电信息实验大楼A409


上一条:廖永新

下一条:潘玉彪

关闭

联系方式

泉州校区地址:福建省泉州市丰泽区城华北路269号           邮编:362021

厦门校区地址:福建省厦门市集美区集美大道668号           邮编:361021

院长电话:0592-6162538       院办电话:0592-6162556

团委办公室:0592-6162557   教学办公室:0592-6162550 0592-6162551

© 2019-2020       华侨大学计算机科学与技术学院. All rights reserved