“百人计划”特聘专家向剑文教授受聘上岗
新闻经纬讯 7月3日，湖北省“百人计划”特聘专家向剑文教授上岗聘任仪式暨学术报告会在学校会议中心举行，副校长张安富、曾春年出席了聘任仪式，人事处、计算机学院负责人以及相关专业师生代表参加。
计算机学院负责人介绍了向剑文教授简历及其学术成就。曾春年副校长向向剑文教授颁发了聘书。
张安富副校长对向剑文教授获批湖北省“百人计划”特聘专家表示祝贺，并代表学校向向剑文博士及夫人的加盟表示欢迎。他表示，学校愿为人才组建好的工作团队、搭建好平台，使其发挥更大的作用。他希望，学校、学院共同为向博士在学校的工作和生活提供支持和帮助。
向剑文教授发表感言，他表示会在在学校“厚德博学、追求卓越”的校训和“人才强校”的战略感召下，努力做一名优秀的理工大人。
聘任仪式结束后，向剑文教授作了题为“可靠性工程”的学术报告。（供稿 计算机科学与技术学院 摄影 姚洪 责任编辑 网宣）
【小资料】向剑文简介
教育经历
向剑文博士于1975年出生于湖南省邵阳市， 1993至1997年就读于武汉大学计算机学院计算机及应用系并获工学学士学位， 1997至2000年被保送至武汉大学软件工程国家重点实验室攻读算机软件与理论专业硕士学位， 2000至2004年在武汉大学计算机学院攻读博士学位，同期，于2002至2005年在日本北陆先端科学技术大学院大学（Japan Advanced Institute of Science and Technology, JAIST）二木厚吉教授的指导下开展形式化方法与软件工程方向的研究，并分别于2004年与2005年获得武汉大学工学博士学位与JAIST情报科学博士学位。
工作经历
向剑文博士于2005至2007年作为博士后研究员在冯诺依曼奖章获得者、世界著名的计算机科学家Dines Bjorner教授（形式化方法VDM的创始人）以及二木厚吉教授（形式规约语言CafeOBJ的创始人）之下开展形式化方法及数字版权管理等方向的研究，并组织翻译了Dines Bjørner 教授的软件工程的三部著作。该套译著由陈火旺院士作序，于2007年由清华大学出版社出版并入选世界著名计算机教材精选。
向剑文博士于2007至2008年作为特别研究员在日本产业总合研究所（National Institute of Advanced Industrial Science and Technology, AIST）开展普适计算方向的研究。此后于2008在日本电气株式会社（日电，NEC）中央研究所担任主任至今，主要负责可靠性工程及形式化方法在产业界的应用等方向的科研及大型项目的开发工作。
学术贡献
向剑文博士长期从事可靠性工程、软件工程、形式化方法、普适计算、知识管理等方向的科研工作。已出版编著1本（博士研究生期间），译著三本（博士后期间），发表包括IEEE Trans. on Reliability与IEEE International Symposium on Software Reliability Engineering (ISSRE) 等可靠性领域的顶级国际期刊及会议在内的各类学术论文50余篇，曾两次以第一作者身份获得国际会议最佳论文奖（ICCES 2010, SCI2003）。此外，还已申请包括日本，美国，及PCT国际各类专利25件，其中多件被列为NEC强力战略专利。其主持开发的大型科研项目由于社会经济效益突出曾先后多次被《日经产业》、《日经计算机》等重要新闻媒体报道；并于2013年被NEC授予二级贡献奖（含一级在内总计5件）。
向剑文博士具有学术界与产业界的国际化综合背景优势，对产学研用与国际协同创新有着深刻的认识及丰富的经验，同时具有较强的管理、组织与协作能力。在NEC工作期间其领导的可靠性研究室曾先后与包括美国杜克大学、西维吉尼亚大学、得克萨斯大学达拉斯分校、意大利弗洛伦萨大学、德国海德堡大学、韩国科学技术院、日本国立情报学研究所在内的国际著名大学及科研机构（的相关领域的著名学者与研究室）建立了良好的合作关系。向剑文博士由于其在学术界与产业界的综合突出贡献，于2012年入选湖北省“百人计划”。
近期标志性成果
在可靠性建模领域，向剑文博士针对传统动态故障树的序列依赖性，首次在理论上证明了从动态故障树到静态故障树的转换的可能性，从而实现了把复杂的排列问题简化为组合问题的重大理论突破，并在系统容错设计与实现的实际应用中解除了系统状态对元件失效历史的依存性限制，极大地提高了系统状态检测的效率并有效地减少了成本。该研究成果曾获ICCES 2010（IEEE）会议最佳论文。
在故障树分析的算法中，针对逻辑投票门的组合爆炸问题提出了有效的简化规则与算法。该项成果的相关专利被列为NEC强力战略专利，论文也于2011年发表在可靠性领域的顶级学会ISSRE中。
在系统容错领域，向剑文博士首次指出并证明即使在单调关联系统中，一个相关的元件也有可能因为其他元件的失效而变成无关的（无作用的）。该项课题的系列研究成果已申请多项专利并先后发表在IEICE Trans. on Fundamentals, SafeComp 2014, IEEE Trans. on Reliability等国际权威期刊与会议中。