郑黎晓，女，工学博士。现为华侨大学计算机学院讲师、硕士生导师。
【教育经历】
2006/09–2012/07，中国科学院软件研究所，计算机软件与理论，博士
2009/11–2011/04，爱丁堡大学信息学院，访问博士生
2002/09–2006/07, 吉林大学计算机学院，计算机科学与技术，学士
【工作经历】
2012/7-至今，华侨大学，计算机科学与技术学院，讲师
【主讲课程】
《数据结构》、《离散数学》、《软件质量保证与测试》
【近期主要研究兴趣】
文法的智能学习算法，程序分析与软件测试
【近期主持或参加的部分科研项目】
国家自然科学基金面上项目，支持计数与无序的扩展表达式的理论问题与应用研究 ，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，参加
【近期发表的部分学术论文】
Lixiao Zheng, Shuai Ma*, Yuanyang Wang, Gang Lin. String Generation for Testing Regular Expressions. The Computer Journal. 2019.（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
【招生专业】
1. 软件工程（学硕） 2.计算机技术（专硕）
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
华侨大学计算机科学与技术学院导师教师师资介绍简介-郑黎晓
本站小编 Free考研考试/2021-05-12
相关话题/华侨大学 计算机科学与技术学院
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19华侨大学计算机科学与技术学院导师教师师资介绍简介-张国亮
学历:博士研究生职称:副教授电子邮箱:zhangguoliang@hqu.edu.cn移动电话:**个人简介个人概况：张国亮：工学博士，硕士生导师/讲师。哈尔滨工业大学机械电子工程专业，2005-2010年在哈尔滨工业大学机器人技术与系统国家重点实验室从事空间机器人的视觉应用研究，获工学博士学位。研 ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-田晖
姓名：田晖学位：博士职称：教授职务：副院长导师类别：博士生导师、硕士生导师招生专业：①计算机科学与技术\软件工程（学硕）；②电子信息（计算机技术、专硕、全日制\非全日制）③智能检测（博士研究生）.招生人数：博士研究生1名，硕士研究生4名左右研究方向：网络与信息安全、人工智能安全、区块链、云计算安全、 ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-彭佳林
彭佳林，博士，副教授，硕士生导师，计算机学会会员，泉州市高层次人才。他2008-2013年就读于浙江大学获理学博士学位，2015-2016年美国UniversityofNorthCarolinaatChapelHill博士后，2012年7月-9月年香港城市大学SeniorResearchAssoci ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-杜勇前
杜勇前导师，毕业于电子科技大学电子工程系，复旦大学访问****，华侨大学计算机学院副教授，福建省安全技术防范专家。主要从事互联网+、电子产品软硬件设计、安全防范技术等领域。历年来横向科研课题在学院名列前茅，2011被评为校优秀科技工作者。2010组建“华嵌工作室”，指导培养本科生、研究生进行技术研究 ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-高振国
高振国，教授，博导n闽江********，华侨大学****，福建省高层次人才、厦门市高层次人才、厦门市高层次留学人才、厦门市引进重点人才；美国伊诺伊大学UIUC，密歇根大学UMich留学归国。n教学奖励：(1)国家级教育软件类一等奖2项，二三等奖7项；省部级一等奖3项；(2)省教学成果二等奖1项。n ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-洪欣
洪欣，华侨大学的计算机科学与技术学院软件系副教授，硕士生导师，当前研究领域是医疗图像、深度学习及数据分析。2009-2010年，作为访问****访问浙江大学计算机科学与技术学院CAD&CG国家图形图像实验室一年，研究领域为计算机动画。2012-2013年做为访问****访问挪威斯塔万格大学，研究领域 ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-蒋文贤
蒋文贤，男，1974年生，副教授，硕士生导师，计算机信息系统集成高级项目经理、网络规划设计师（高级）、系统分析师（高级）、信息系统项目管理师（高级），福建省信息产业技术标兵，市高层次人才，中国计算机学会会员。一、招生专业：1)软件工程（学硕）；2)计算机技术（专硕）二、研究方向1）区块链技术2)物联 ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-李弼程
李弼程，男，汉族，1970年7月出生，湖南衡南人。1998年6月毕业于国防科技大学，获博士学位；2004年9月-2005年9月，公派到英国曼彻斯特大学做访问****1年；1998年6月-2016年4月任信息工程大学讲师、副教授、教授、博导；2016年5月，作为学科方向带头人引进，任华侨大学****、 ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-蔡绍滨
蔡绍滨个人简介：在1998年从哈尔滨工业大学获得硕士学位，2005年，在哈尔滨工业大学获得博士学位，2009，加州大学洛杉矶分校计算机系博士后。目前，本人担任中国计算机学会第十届会员代表，黑龙江省计算机学会理事，中国计算机学会无线传感器网络专委会委员，《JournalofMarineSciencea ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12华侨大学计算机科学与技术学院导师教师师资介绍简介-萧宗志
姓名：萧宗志博士职称：副教授/硕导主要从事数字技术与信息安全等方向的研究，共发表论文40余篇，其中SCI、SSCI、EI论文30余篇。电子邮箱：hsiaotc@hqu.edu.cn ...华侨大学师资导师 本站小编 Free考研考试 2021-05-12
