个人简介

博士，讲师，硕士生导师。于2009年7月起任职于3044am永利集团3044noc计算，主要从事计算机软件与理论的科研与教学工作。所研究方向为软件自动化方法，主要包括：部分求值技术及其应用、程序分析与程序变换技术、软件支撑环境与软件工具技术等。

教育简历

2004-09 至 2009-07, 永利官网, 计算机科学与技术, 博士

2001-09 至 2004-07, 太原理工大学, 计算机科学与技术, 硕士

1997-09 至 2001-07, 太原理工大学, 计算机科学与技术, 学士

工作履历

2009-07至今，永利官网，3044am永利集团3044noc，软件与理论研究所

学术兼职

无

课程教学

所承担课程包括本科生课程“数据结构与算法”、“数据结构课程设计”和研究生课程“面向对象技术”、“形式语义学导论”。

科研项目

主持和参与科研课题有国家自然科学基金青年科学基金“XQuery语言运行时自动程序例化技术的研究”；国家重点研发计划“不可移动文物自然灾害风险图构建方法研究”（子课题）；企事业委托项目“大数据驱动的农业企业画像关键技术研究”、“KBase-NXD2.0系统”等。

荣誉和获奖

代表性研究成果

主要论文论著

[1]基于Trace的CMinus语言即时编译技术, 计算机应用与软件, 2017

[2]一种针对正规树模式的复杂事件查询方法, 计算机与数字工程,2018

[3]Testing the Message Flow of Android Auto Apps, SANER，2019

[4]一种改进的K-Prototypes聚类算法，计算机工程与应用，2020

[5]融合通道特征的混合神经网络文本分类模型, 中文信息学报, 2021

[6]面向不可移动文物自然灾害风险图生成的领域特定语言，计算机应用，2023

[7]Improving Code Summarization Performance with Model Fusion，ICID，2023

[8]复杂事件处理中多聚合查询共享方法，计算机应用研究，2024