向剑文
发布时间：2015-05-27 字体：[增加 减小]






姓 名：向剑文

性 别：男

出生年月：1975年3月

学 位：博士

职 称：教授

联系电话：**

E-mail：xiangjw@gmail.com



个人简历：

1.1993年9月至1997年6月，武汉大学，计算机应用专业，获学士学位；

2.1997年9月至2000年6月，武汉大学，计算机软件与理论专业，获工业硕士学位；

3.2000年9月至2004年6月，武汉大学，计算机软件与理论专业，获工学博士学位；

4.2002年10月至2005年9月，日本北陆先端科学技术大学院大学，情报科学专业，获工学博士学位；

5.2005年10月至2007年3月，日本北陆先端科学技术大学院大学，博士后研究员；

6.2007年4月至2008年3月，日本产业技术总合研究所，特别研究员；

7.2008年4月至2014年，日本电气株式会社中央研究所，主任；

8.2014年7月～，武汉理工大学，计算机学院，教授。
主要研究方向：

1.可信计算

2.形式化方法

3.知识管理
在研项目（项目来源、名称、经费、起止年限）：

1.湖北省自然科学基金重点项目，物联网系统安全可靠性建模与分析技术研究，20万，2015年1月～2017年12月，主持。

2.武汉理工大学自主研究创新基金，故障树及不完全故障覆盖算法研究与实现，5万，2015年1月～2016年10月，主持。
主要成果简述（限200字）：

1.出版编著1本，译著3本，在IEEETrans. on Reliability及ISSRE（InternationalSymposium on Software Reliability Engineering）等国际权威期刊及会议上发表学术论文约50余篇，两次以第一作者身份获国际会议最佳论文奖；

2.作为独立申请人申请美国、日本、PCT国际专利20余项；

3.2013年获NEC中央研究所二级贡献奖；

4.2013年入选“湖北省百人计划”并受聘为湖北省特聘专家。