张羽丰
单位：湖南大学 信息科学与工程学院
职称：副教授
研究领域
高可信软件、程序分析与测试、人工智能
荣誉与奖励
中国计算机学会形式化方法专委会委员
