姓名: 胡军 | 性 别: 男 | 行政职务 : | |
专业技术职务: 副教授 | 办公电话: | 导师类别: 硕士生导师 | |
最后学历: | 最后学位: | 最后毕业学校: | |
电子邮件: | | | |
工作单位: 计算机科学与技术学院 | | | |
◇ 主学科研究方向: |
二级学科名称(主): 计算机科学与技术 (招收硕士研究生) | 学科代码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 |
【南航计算机科学与技术学院导师介绍:胡军】相关文章:
★ 西南大学硕士研究生导师介绍:符明秋
★ 西南大学硕士研究生导师介绍:时显群
★ 西南大学硕士研究生导师介绍:赵毅
★ 鲁东大学硕士生导师介绍:赵建萍
★ 西南大学硕士研究生导师介绍:徐刚
★ 湖南农业大学硕士生导师介绍:雷孝
★ 西南大学博士研究生导师介绍:邱道持
★ 武汉理工大学自动化学院导师介绍:林伟
★ 湖南农业大学硕士生导师介绍:曾清如
★ 南京航空航天大学博士研究生导师介绍:郭荣伟