北京航空航天大学主页平台系统高祥--中文主页--研究领域

+

个人信息

高祥Xiang Gao

副教授

副教授

电子邮箱：

所在单位：软件学院

学历：博士研究生

在职信息：在职

研究领域

当前位置: 中文主页 >> 研究领域

主要研究方向：

软件工程和程序语言。研究使用软件分析、形式化方法、软件测试等方法帮助开发人员开发和维护软件系统、以及提升软件系统的安全性和可靠性。