（1） 毕业院校：贵州大学，计算机软件与理论专业，博士研究生 （2） 工作经历：福建工程学院，计数学院院长助理/大数据教研室主任 （3） 取得成就： 1) 国家重点研发计划项目子课题，2018 – 2021，第二参与人 2) 福建省自然科学基金项目（面上），基于语义本体的物联网服务建模语言与性质验证方法研究，2020 - ，主持 3) 福建省自然科学基金项目（青年创新），物联网服务的形式化描述与自动验证技术研究，2016 – 2019，主持 4) 移动商务智能湖南省重点实验室开放基金课题，多源生物医学数据的语义匹配技术研究，2019 - ，主持 5) 发明专利，语义Web服务组合的自动验证方法及其系统，ZL201410089115.2 6) 发明专利，一种WSN逻辑型感知需求的验证方法，ZL 201810984307.8