作者:聚创华大考研网-余老师 点击量: 1089 发布时间: 2018-08-22 17:36 【微信号:扫码加咨询】
热门关键词:华侨大学计算机科学与技术学院导师 华侨大学郑黎晓 硕士研究生导师
【个人简介】
郑黎晓,女,1984年生,工学博士。现为华侨大学计算机学院讲师、硕士生导师。
【教育经历】
2006/09–2012/07,中国科学院软件研究所,计算机软件与理论,博士
2009/11–2011/04,爱丁堡大学信息学院,访问博士生
2002/09–2006/07, 吉林大学计算机学院,计算机科学与技术,学士
【工作经历】
2012/7-至今,华侨大学,计算机科学与技术学院,讲师
【主讲课程】
《数据结构》、《离散数学》、《软件测试》
【近期主要研究兴趣】
文法推断,机器学习,软件测试
【近期主持或参加的部分科研项目】
1. 国家自然科学基金青年项目,61502184,正反例相结合的正则表达式极限识认算法,2016/01-2018/12,在研,主持
2. 福建省自然科学基金面上项目,2015J01259,结构与语义约束相融合的XML模式推断研究,2015/04-2018/04,在研,主持
3. 国家自然科学基金面上项目,61472405,确定性表达式及其子类的理论问题与工具研究,2015/01-2018/12,在研,参加
4. 计算机科学国家重点实验室开放课题,SYSKF1403, XML数据的模式推断与键约束发现研究,2014/07-2016/06,在研,主持
5. 华侨大学人才引进科研启动项目,12BS215,XML 数据上的视图确定性问题研究,2013/01-2014/12,已结题,主持
6. 国家自然科学基金面上项目,61070038,无秩树结构数据和语义多态类型系统的研究,2011/01-2013/12,已结题,参加
【近期发表的部分学术论文】
1. 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.
2. 郑黎晓*, 王成. XML模式推断研究综述. 电子学报, 2016, 44(2):461-471.
3. Ping Lu, Feifei Peng, Haiming Chen*, Lixiao Zheng, Deciding Determinism of Unary Languages, Information and Computation, 2015, 245:181–196
4. 郑黎晓*, 王成, 常青玲,一种基于模式覆盖的XML文档自动生成方法,小型微型计算机系统,2015,36(01): 77-82
5. 郑黎晓*, 常青玲, 一种利用模式信息的XPath测试集约简方法,小型微型计算机系统,2014,35(12): 2670-2674.
6. 郑黎晓*, 常青玲, 徐世廷, 视图确定性问题及其研究进展计算机工程与应用,2014,50(14):121-126
7. 冯晓强, 郑黎晓, 陈海明*. 一类受限正则表达式的推断算法. 计算机科学, 2014, 41(4): 178-183.
8. Wenfei Fan,Floris Geerts,Lixiao Zheng* ,View determinacy for preserving selected information in data transformations,Information Systems,2012,37(1):1-12
9. 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
10. 郑黎晓,许智武,陈海明*,基于文法分支覆盖的短句子生成算法,软件学报,2011,22(11):2564-2576
11. 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
12. 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
13. 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
14. 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
【联系方式】
邮箱:zheng_lixiao@163.com
办公室:华侨大学厦门校区机电信息实验大楼A409
【招生专业】
1. 计算机科学与技术(学硕) 2.计算机技术(专硕)
(更多华侨大学考研信息,请点击查看华侨大学考研网)
以上是聚创考研网为考生整理的"华侨大学计算机科学与技术学院导师简介:郑黎晓"的相关考研信息,希望对大家考研备考有所帮助! 备考过程中如有疑问,也可以添加老师微信H17720740258进行咨询。