研究方向

软件自动化方法，包括：部分求值技术及其应用、程序分析与程序变换技术、软件支撑环境与软件工具等的相关理论与应用研究

个人简介

苏航，博士，北京工业大学银河集团9873.cσm讲师，硕士生导师。2009年毕业于北京工业大学计算机学院，获博士学位。在软件自动化方法、部分求值技术及其应用、程序分析与程序变换技术领域具有多年的研究工作积累，主持和参与国家自然科学基金、北京市自然科学基金等科研项目多项，并取得了一定的研究成果。《计算机研究与发展》等期刊审稿人，参与多项国家和专业领域标准的起草。

工作履历

2009.11- 至今 北京工业大学银河集团9873.cσm 讲师

课程教学

本科生教学：数据结构与算法、数据结构课设I

研究生教学：面向对象技术、形式语义学导论

科研项目

1. 国家重点研发计划项目，不可移动文物自然灾害风险图构建方法研究，子课题分项负责人

2. 国家自然科学基金（青年），XQuery语言运行时自动程序例化技术的研究，负责人

3. 企事业委托项目，星载雷达干涉形变监测数据处理提质及可视化，负责人

4. 企事业委托项目，无锡市城市抗震防灾规划2021-2035，分项负责人

5. 企事业委托项目，绿色建材环境产品声明和碳足迹评价系统，负责人

6. 企事业委托项目，KBase-NXD2.0软件系统，骨干

7. 国家自然科学基金，Android应用软件的高效率静态分析，骨干

8. 北京市自然科学基金，面向XQuery语言的树模式查询技术研究，骨干

主要论文论著

1. 韩永鹏; 陈彩; 苏航; 梁毅 ; 融合通道特征的混合神经网络文本分类模型, 中文信息学报, 2021

2. 孙志冉；苏航；梁毅；一种改进的K-Prototypes聚类算法，计算机工程与应用，2020

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

4. 郑利强; 廖湖声; 苏航; 高红雨 ; 一种针对正规树模式的复杂事件查询方法, 计算机与数字工程, 2018

5. 陶胜召; 廖湖声; 苏航; 高红雨 ; 基于Trace的CMinus语言即时编译技术, 计算机应用与软件, 2017

6. 王亦雄; 廖湖声; 孔祥翾; 高红雨; 苏航 ; CEStream:一种复杂事件流处理语言, 计算机科学, 2017