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