姓 名:向剑文
性 别:男
出生年月:1975年3月
学 位:博士
职 称:教授
联系电话:027-87216780
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本,在IEEE Trans. on Reliability及ISSRE(International Symposium on Software Reliability Engineering)等国际权威期刊及会议上发表学术论文约50余篇,两次以第一作者身份获国际会议最佳论文奖;
2.作为独立申请人申请美国、日本、PCT国际专利20余项;
3.2013年获NEC中央研究所二级贡献奖;
4.2013年入选“湖北省百人计划”并受聘为湖北省特聘专家。