| 庄雷，博士，郑州大学信息工程学院教授。全国优秀教师、河南省跨世纪学术与技术带头人培养对象、河南省省管优秀青年科技专家、河南省优秀中青年骨干教师、河南省“三八”红旗手、河南省教育系统"巾帼建功"标兵。河南省第一层次重点学科计算机软件与理论学科的学术带头人。兼任中国计算机学会理论计算机专业委员会委员，全国形式语言与自动机学组副组长。
书香门第，耳濡目染，父母榜样影响终生
一九六三年二月，庄雷出生在一个高级知识分子家庭。母亲1947年毕业于国立中国大学数学系，解放后一直从事教育工作。父亲是中国人民解放军空军著名的心血管医学专家。良好的家庭教育，和谐温馨的家庭氛围，造就了庄雷善良、纯朴、诚实、善解人意、温文尔雅的性格。庄雷从小就对教师这个行业充满了敬佩和向往，她认为，母亲和父亲所从事的工作一个是教书育人，一个是救死扶伤，都是人类最值得尊敬和最伟大的事业。从她记事起，她所见到最多的是母亲通宵达旦，伏案备课的身影，她所听到最多的是夜深人静时，同院的叔叔阿姨急促地叫父亲抢救病人的呼喊声和父亲归来疲惫的脚步声。父母对事业的忠诚，对业务的精益求精，对工作的一丝不苟，对学生，对患者的关爱之情，深深的教育和影响了她，以至于对她日后的成长和择业起了决定性的作用。在“四人帮”肆虐的年代，父母都被冠以资产阶级反动权威而受到冲击，一夜之间，庄雷失去了一齐嬉戏玩耍的小伙伴，她只好孤独的呆在家里，练书法，读小说。无意中从母亲旧书箱里翻出的范式大代数等数学书籍引起了她的兴趣，她开始试着做书上的练习题，不会的地方就等着母亲晚上回家时讲给她听，在母亲的帮助下，很快她就把几本厚厚的数学习题集全部做完了。数学的博大精深深深的震撼了她，她也深深的迷恋上这门学科，中学毕业后参加高考，她所填报的志愿全部和数学有关，数学和她结下了不解之缘，对数学的痴迷也为她日后从事教学和科研工作打下了坚实的基础。
投身教育，甘为园丁，勇于探索尖端科学
庄雷教授1988年研究生毕业后到郑州大学计算机科学系任教，由于工作优异，成绩斐然，1993年破格晋升副教授；1994年遴选为硕士导师；1998年晋升教授。在近二十年的教学生涯中，庄雷从一个初出茅庐的年轻助教成长为河南省乃至全国知名的学者、教授，她亲眼目睹和亲身经历了计算机学科突飞猛进的大发展和大变革。在优胜劣汰，新人辈出的计算机行业，无论是教学还是科研，庄雷教授始终将严谨务实的科研态度，科学有效的教学方法贯穿在自己的各项工作中。
随着软件规模的日趋庞大，软件出现错误的可能性及其造成的危害日益突出，以美国为首的发达国家运用高科技启动了迄今为止规模最大的研究计划，强调利用验证和形式化方法来保证软件系统行为的正确可靠，而有穷状态自动机则是最重要的一种形式描述与验证技术,是很多形式化方法的基础。它直观性强, 可实现与其他形式方法的组合和转换, 且易于自动实现, 因而在形式化方法中占有重要的地位。庄雷教授长期从事形式语言与自动机理论的研究，对该领域的前沿问题作了大量深入地研究工作。她构造出了多种自动机模型以适用于各类实时并发系统；给出了不同的自动机识别模型及其识别条件；对自动机所识别的语言族进行分层同时给出其特征；给出了构造自动机的优化算法。其研究成果既有重要的理论意义，又有良好的实际应用前景，受到了同行学者的关注与好评，具有很大影响。由于科研成果突出，她于1994年当选为中国计算机学会理论计算机专业委员会委员，全国形式语言与自动机学组副组长，是当时仅有的一位青年委员。她与课题组同志先后完成了国家自然科学基金项目三项，河南省自然科学基金项目和省教育厅重大基金项目等十余项，其中承担的国家自然科学基金项目被国家基金委员会评为优秀项目。
庄雷教授勇于所新的研究领域。她于2001年参加了国家高技术研究发展计划（863计划）项目“新型网络体系结构（Peer-to-Peer,简称P2P）研究”，成为国内最早对P2P网络的研究者。P2P让人们通过互联网直接交互，它除了具有整合和利用大量资源的能力外，还包括自组织、负载平衡、适应性和容错性等性能，它使人们在Internet上的共享行为被提到了一个更高的层次，使人们以更主动、更深刻的方式参与到网络中去，对等网络系统的出现具有重要的社会意义和技术意义。针对P2P网络中存在的搜索效率低、冗余信息多与吞噬带宽严重等关键问题，她利用P2P网络的小世界和幂规律等特性，与反馈机制结合，给出了一个新的搜索方案，提高了搜索效率。她还找到了P2P网络产生冗余信息的根源，并给出其解决方案。她对网络中的消息进行优先级划分，并对网络中的连接进行智能管理。
协议是网络的血液和生命。协议中任何一点错误都将给分布系统的稳定性、可靠性、坚固性、安全性、容错性以及异种系统之间互通带来巨大的危害，然而P2P网络协议是否正确，是否具有安全性等性质，对P2P网络协议的形式化规范描述及协议验证等均未见相关报道。庄雷教授将国家自然科学基金和863项目相结合，使用了目前国际上公认的验证工具UPPAAL，对P2P系统中使用最广泛的Gnutella协议进行形式化分析，对协议的正确性、安全性、活性等一系列性质进行了验证。鉴于P2P系统在资源共享方面有着巨大的应用前景，国内外尚未有人对P2P协议进行过形式化描述与验证，她的研究工作被专家们认为是开创性的。无论在理论研究，还是在实际应用中，都将起到重要的作用。
她在国家一级学术期刊《计算机学报》、《软件学报》、《计算机研究与发展》上发表学术论文13篇，在IEEE举办的国际会议和核心期刊发表论文40余篇。十多篇论文被国际著名评论刊物《computer & control abstracts》、俄罗斯自动化文摘《РЕХЕРАТИВНЫИ ЖУРНАЛ》等摘评，并被美国工程索引（Ei）、ISTP收录。她的论文获河南省自然科学优秀论文一等奖一项；河南省自然科学优秀论文二等奖三项。
言传身教，为人师表，惜才爱才培养人才
庄雷教授不仅在科研，教学工作上兢兢业业，而且非常注重自身的再学习和再提高，她清醒地认识到，在科学技术快速发展的今天，在学术上稍有懈怠，就会落后，就会落伍，就会误人子弟。她经常采取各种方式和方法，与国内外知名的专家，学者进行学术及教学方面的交流，为了了解最新最前沿的科学动态。她走回教室，从新做一名学生，认真，虚心地接受各种培训，倾听各类相关的讲座，参加各项学术活动。
庄雷教授在开展科研工作的同时，一直坚守在教学第一线，以学生为本，严谨治学。为本科生上《程序设计》、《数据结构》等专业基础课，为研究生开设了《形式语言与自动机》、《软件工程》等课程。她经常举办讲座，介绍最新学术动态。定期举行专题讨论班，深入探讨研究领域存在的问题与可能的解决方案，在实验室调试软件和程序，分析实验数据，得到研究结果。庄雷教授坚实的理论功底，广博的知识，灵活的教学方式，极大地调动了学生学习的积极性，收到良好的教学效果，深受学生的欢迎和爱戴，为此庄雷教授获得了河南省优秀教学成果二等奖；郑州大学青年教师通联奖。
庄雷教授在教学过程中十分注重言传身教，以自己一心一意报效祖国的切身体会向学生灌输正确的世界观、人生观、价值观。1994年，她妊娠反应严重，仍坚持给本科生上一百多人的大课，晕倒在讲台上，被同学们抬下讲台。她经常鼓励同学们爱党爱国，体现了人民教师忠诚党的教育事业、教书育人、为人师表的风范。她培养的研究生在德智体全面发展，已有19人毕业，有的考入北京大学、中国科学院继续攻读博士学位，有的成为所在单位的技术骨干。
庄雷教授惜才，爱才，培养人才。郑州大学地处中原，许多莘莘学子才华横溢却家境贫寒，考上大学却在生活和学费上捉襟见肘。庄雷教授非常关心和爱护这些学生，她非常欣赏这些勇敢与贫穷抗争的年轻学子，在学业上她鼓励他们刻苦钻研，在生活上为他们排忧解难。经常出钱，出物接济和捐助那些需要帮助的贫困学生，替他们支付考试费用，赠送学习资料，每逢过年的时候，有些贫困生还会收到庄雷教授送来探家的车票款。无论是为自己的下一步学业还是为日后的工作做打算，无论大事小情，她的学生都愿意同她商量，征求她的意见，而她也总是热心的把这些事情当作自己分内的事情，她的真诚和无私深深地打动了一批又一批的学生，在学生中享有很好的口碑。
与时俱进，锐意改革，注重学科交流合作
庄雷教授非常注重国际间的学术交流与合作，她经常说：“我们的研究必须是开放式的，必须与国际接轨”。她除了经常参加学术会议，宣读论文，让同行倾听自己的学术见解外，还主张在郑州大学举办学术会议，让世人了解郑州大学、了解郑州与河南，她为此积极工作着。2004年暑期，由联合国大学主办的“高质量软件开发方法与工具”国际研讨班在郑州大学举行，由联合国大学派出四名外籍专家任教，有包括北京大学、复旦大学、国防科技大学、中科院和希腊等国的研究人员和师生参加，庄雷教授负责外籍教师的授课、主持外教与学员的讨论与交流。她精湛的业务水平和热情的服务，赢得了外国专家和广大学员的好评。为了培养高素质人才，她非常关心和积极参与学院的学科建设和教学改革，在参加国际国内学术会议的同时，除了学术交流之外，还参观相关的实验室，走访知名的学者教授，虚心向富有创新精神的年轻同行求教，了解最先进最前沿的科技发展动态，交流学科建设与教学改革的经验。
敬老爱幼，举案齐眉，淡泊名利尽享人生
几分耕耘，几分收获。庄雷教授高尚的思想品德和道德修养、饱满的工作热情和刻苦钻研的精神、优异的科研成果和良好的教学效果得到了领导、同行和师生们的肯定，赢得了大家的信任和爱戴。但她却淡泊名利，保持清醒的头脑。清清白白的做人，认认真真的做事是她的人生信条。她常说：“我成长的各个阶段，始终有学校、院系领导、导师和前辈的培育，有课题组同志的鼎力合作，有同事、学生地密切配合，更有爱我的家人地支持和鼓励”。她也用自己不懈的努力和卓越的工作成绩来回报家人，回报社会。她在父母跟前是孝顺懂事的女儿，在公婆面前是知冷知热的儿媳，在儿子面前是慈祥和蔼的母亲，在丈夫面前是温柔体贴的妻子。她把家庭视为同工作一样重要，缺一不可。
庄雷教授最常说的一句话就是，“我想做一名好老师”，为了“好老师”这三个字，庄雷教授将会和她的父辈们一样，沿着这样一条人生之路一直走下去并且为其奋斗终生。 |
