姓名 谭新明 性别 男 专业技术职称 教授 办公电话 86555280
最后学历： 博士研究生 最后学位： 博士 电子邮箱 tanxm@whut.edu.cn
导师类别： 本校任职 是否博导： 否 是否硕导 是
研究方向 工业化软件工程方法，形式化方法，实时系统
学术兼职
留学情况 加拿大卡尔加里大学工学院电气与计算机工程系
通信地址 武汉理工大学计算机科学与技术学院计算机科学系 邮政编码 430063
研究生导师个人（含成果）情况介绍 2006年6月毕业于加拿大卡尔加里大学工学院电气与计算机工程系软件工程专业，获博士学位；主要研究实时系统代码自动生成技术。1988-1990年在武汉水运工程学院及中科院软件所（联合培养）从事分布式程序理论研究，于1990年6月获硕士学位。1983年毕业于武汉水运工程学院计算机应用专业，获学士学位。从1992年起，先后为硕士/博士生、留学生主讲的课程有：数理逻辑、面向对象程序设计、面向对象方法学、形式化软件开发、组件技术、分布式程序设计等。现主要从事工业化软件工程方法、形式化方法、实时系统、认知信息学、分布式程序设计理论和应用的研究。在软件工程方向，重点研究（1）软件工程进程模型、测量体系、软件质量，着眼于指导实际软件系统的开发；（2）将形式化方法应用于软件工程，保证安全敏感性软件系统的可靠性。在实时系统方向，重点研究（1）实时操作系统内核；（2）实时系统的体系结构和设计模式，为实时系统开发方法奠定基础；（3）实时系统的描述、验证技术，提供实时系统的规范说明及验证手段；（4）将形式化方法应用于实时系统的开发，提高实时系统开发自动化程度。在国际学术刊物和会议论文集上发表学术论文近20篇，其中大多被IEEE数字图书馆全文收录，EI索引。
导师从事专业