<正>阳小华,二级教授,博士生导师,南华大学计算学科与核学科带头人,国家国防科工局"核设施安全管理与可靠性技术"国防科技创新团队主要成员,中核集团高可信计算重点学科实验室主任,湖南省121人才工程首批人选。1983年毕业于中山大学计算机系,1986年获中国科学院计算中心硕士学位,1999年获中国科学院数学研究所计算机软件与理论博士学位。2000年澳大利亚