庄雷 - 郑州大学 - 信息工程学院

个人简介

庄雷，女，1963年2月生，博士，郑州大学信息工程学院教授，博士生导师，硕士生导师。曾在澳大利亚伍伦贡大学访问。研究方向包括形式语言与自动机理论、模型检验、对等网络等。先后完成国家自然科学基金项目3项，国家863项目1项，河南省自然科学基金项目和省教育厅项目10余项。获河南省自然科学优秀论文一等奖1项，二等奖3项。在核心期刊和国际会议发表论文30余篇，近20篇论文被EI，ISTP等收录。曾荣获全国“优秀教师”、“河南省跨世纪学术与技术带头人培养对象”、“河南省优秀青年科技专家”、“河南省优秀中青年骨干教师”、“河南省三八红旗手”、“河南省教育系统巾帼建功标兵”和“河南省优秀IT青年新锐”称号。

学术兼职

中国计算机学会理论计算机专业委员会常务会员，全国形式语言与自动机学组副组长，河南省计算机学会秘书长，