中南大学张尧学去哪了？
现任国防科技大学计算机学院院长、教授、博士生导师。
软件形式化工程与验证技术专家，中国科学院院士、少将，湖南省科协名誉主席。20世纪80年代初创立了可计算模型复杂性理论。1990－1993年，在美国麻省理工学院人工智能实验室进行研究工作，从事并行处理与智能专家系统的理论和核心技术的研究，取得多项创造性成果。1994年获“国家有突出贡献的中青年专家”称号。1997年当选中国科学院院士。其创建的软件形式化工程与验证技术、形式化方法研究组，在形式化工程与验证技术、实时嵌入式系统研究和教学实践中，取得了一系列创造性成果。“九五”期间承担了科技预研重大重点项目10多项，取得12项省部级成果。
2005年12月21日，当选中国工程院院士。