所在地：广西壮族自治区-桂林市 入职年份： 资料待完善 学历： 毕业院校：
从事领域软件工程；软件分析、验证与测试；信息安全；VLSI容错技术
擅长能力软件工程、软件分析、验证与测试、信息安全、VLSI容错技术
主持国家自然科学基金、国防项目、广西自然科学重点基金在内项目20多项。在计算机领域国际顶级期刊IEEE TPDS、ACM TOSEM，国际权威期刊WWWJ、DKE、SQJ、SCN，国内一级学报《计算机学报》、《软件学报》、《电子学报》、《计算机研究与发展》，以及FORTE、APLAS、PRICAI、TASE等重要国际会议上发表及录用学术论文100余篇，其中SCI、EI收录60多篇。同时注重把科技转化为应用，服务于国防事业、政府机关，致力于公共事业的信息化改造，获得发明专利3项，实用新型专利1项、软件著作权11项， 广西“十百千”人才工程第二层次人选；“可信软件”广西高等学校高水平创新团队及卓越学者资助；广西青年科技奖。