论文部分内容阅读
专家简介：李先贤,教授、博士生导师（北航）,现任广西师范大学计算机科学与信息工程学院副院长。2005年度教育部新世纪优秀人才、广西首批＂八桂学者＂特聘教授（2011年）、广西＂十百千人才工程＂第二层次人才、2014年国家＂万人计划＂科技创新领军人才。主要从事网络与信息安全、服务计算和形式化理论等方向基础研究工作,获得国家科技进步奖二等奖2项和国防科学技术奖一等奖1项,