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