何锫 、教授、博士、从事形式化方法、自动程序设计、形式化遗传程序设计等研究。主持多项国家、省部级以及国家重点实验室项目，培养硕士数十人，成果引起英国计算机科学家、伦敦大学学院Mark Harman教授等著名学者的关注，先后为ACM Computing Surveys、IEEE Trans. on Evolutionary Computation、MIT的Evolutionary Computation、《中国科学》及PPSN等代表性杂志和会议引用；应邀赴韩国国立首尔大学工程院做过讲学；同时也是国家科技奖励评审专家，IEEE TEVC, IEEE TCYB等刊的审稿人。