南航计算机科学与技术学院导师介绍：胡军

姓名： 胡军	性 别： 男	行政职务 ：
专业技术职务： 副教授	办公电话：	导师类别： 硕士生导师
最后学历：	最后学位：	最后毕业学校：
电子邮件：
工作单位： 计算机科学与技术学院
◇ 主学科研究方向：
二级学科名称（主）： 计算机科学与技术 （招收硕士研究生）		学科代码11： 081200
软件工程： 模型驱动的软件分析与验证; 软件可靠性相关的形式化方法; 基于模
◇ 辅学科研究方向： 二级学科名称（辅）： 软件工程 （招收硕士研究生） 学科代码： 083500
◇ 辅学科研究方向： 二级学科名称（辅）： 安全科学与工程 （招收硕士研究生） 学科代码： 083700
◇ 个人简历（学历、学术经历及社会兼职）：
Hu Jun, Huang Zhiqiu, Cao Dong, Xu Bingfeng. Formal Analysis and Verification of Resource Adaptability for Internetware In： Journal of Software (in Chinese). Vol.19, No.5, pp1182-1196. May 2008. Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang. Modelling and Analysis of Power Consumption for Component-Based Embedded Software.In： Proceedings of the 2006 IFIP International Conference on Emb