研究方向

程序分析与程序变换；半结构化数据查询处理与优化

个人简介

高红雨，北京工业大学计算机学院副教授，主讲操作系统原理、编译原理等本科课程，担任程序设计竞赛指导教师，研究兴趣为程序分析与程序变换、半结构化数据查询处理与优化。

教育简历

1995-09至1998-06，北京工业大学，计算机学院，工学硕士

1988-09至1992-06，北京计算机学院，计算机技术系，工学学士

工作履历

2016-9至今，北京工业大学，副教授

2005-12至2016-9，北京工业大学计算机学院，副教授

1998-7至2005-12，北京工业大学计算机学院，讲师

1992-7至1995-8，北京计算机学院/北京工业大学计算机学院，助教

课程教学

本科生教学：操作系统原理，编译原理，系统软件课程设计，新生研讨课

研究生教学：无

科研项目

参加的科研项目：

不可移动文物自然灾害风险图构建方法研究，国家重点研发计划，2020-2022

Android应用软件的高效率静态分析，国家自然科学基金，2017-2020

XQurey语言运行时自动程序例化技术的研究，国家自然科学基金青年项目, 2013-2015

荣誉和获奖

北京工业大学优秀班主任（2019年）

主要论文论著

[1] Rongjie Yan; Yuhang Chen;Hongyu Gao; JunYana; Test case prioritization with neuron valuation based pattern, Science of Computer Programming 215(2022) 102761

[2] Rongjie Yan; Anyu Cai; Hongyu Gao; Feifei Ma; Jun Yan; SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Guilin, China, 2019, pp. 160-167 

[3] Yu Zhang; Xi Deng; Jun Yan; Hang Su; Hongyu Gao; Testing the Message Flow of Android Auto Apps, 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), Hangzhou, China, 2019, pp. 559-563