注册

负责专业范围为软件工程、软件测试。

擅长专业为软件工程、软件测试、软件可靠性、安全性、航天软件,嵌入式软件,形式化验证、缺陷定位。