孙文辉

博士、副教授

基本信息

办公电话：51688422 电子邮件： whsun1@bjtu.edu.cn
通讯地址：北京交通大学计算机学院 邮编：100044

教育背景

1982---1986: 合肥工业大学计算机软件专业本科, 获学士学位

1986---1989  西南交通大学计算机应用专业硕士研究生

1994---1999  中科院软件所计算机应用专业博士研究生



工作经历


1989---1994  北方交通大学计算机系 

1999---2001  中国计算机软件与服务总公司 

2001---NOW 北京交通大学计算机学院 

2012.3--2013.3   美国普渡大学计算机科学系    访问学者

2019.9--2020.9    英国Lancaster大学计算机工程与通信学院    高级访问学者

因与华为公司合作项目，急需招收2022级学术型、专业硕士和非全硕士生3--4名。

研究方向

  • 计算机技术
  • 软件工程
  • 人工智能
  • 大数据技术与工程
  • 计算机软件与理论
  • 生成式人工智能与安全
  • 新一代电子信息技术

招生专业

  • 计算机科学与技术硕士
  • 计算机技术硕士
  • 软件工程硕士
  • 人工智能硕士
  • 大数据技术与工程硕士
  • 新一代电子信息技术（含量子技术等）硕士

科研项目

  1. 北京交通大学：Comware V7 WAN XML插件开发项目二期，2013-08-01--2013-10-31，10.0万元，参加
  2. 北京交通大学：Comware V7 WAN XML插件开发项目，2013-04-23--2013-07-26，10.25万元，主持
  3. 科技部“科技支撑”：基于Mesh网络井下可视化无线救灾通讯技术与装备，2013-01-01--2017-12-31，892.0万元，参加
  4. 北京交通大学：WLAN V7 AP管理框架一期，2012-11-12--2013-07-29，20.5万元，参加
  5. 北京交通大学：WLAN RRM抗干扰研究，2012-08-01--2012-12-31，10.0万元，参加
  6. 北京交通大学：自动化测试环境开发，2011-04-30--2011-07-30，12.0万元，参加
  7. 国家自然科学基金“面上”：基于动态Mesh网络的流媒体P2P QoS传输机制研究，2011-01-01--2013-12-31，35.0万元，参加
  8. 基本科研业务费：可信平台模块应用编程接口的形式化分析和自动验证，2009-12-01--2012-12-31，6.0万元，参加
  9. 财政部：食品豆产品加工企业资料信息数据库建设，2009-10-12--2010-10-31，5.0万元，参加
  10. 红果园：闭环仿真-1，2008-08-15--2010-08-15，17.0万元，参加
  11. 科技部“863”：基于网格的铁路货运信息综合应用系统，2007-01-01--2010-12-31，144.2万元，参加
  12. 北京交通大学：专业运输统计管理信息系统，2006-10-01--2007-12-30，8.0万元，参加
  13. 铁道部科技司：铁路信息系统应用与技术研究-铁路计算机应用系统测试关键技术研究，2007-01-01--2008-12-31，30.0万元，参加
  14. 红果园：信息交换平台关键技术研发，2005-07-01--2006-06-30，100.0万元，参加
  15. 校科技基金：客运专线动车组信息化标准及关键技术研究，2006-01-01--2007-12-31，22.0万元，参加
  16. 科技部“863”：软件开发公共技术支撑体系的若干关键技术研究和系统集成，2004-10-01--2005-10-01，80.0万元，参加
  17. 科技部“863”：孵化器技术平台研究，2004-07-01--2005-10-01，100.0万元，参加

教学工作

本科生:  java程序设计

           c++程序设计

研究生: 程序设计语言理论

           软件开发的形式化方法

研究方向： 程序设计语言、软件工程和形式化方法

已毕业的研究生大多在百度、中兴通讯、猎豹移动、中国科学院、中国银行、中国农业银行、电子工业部某研究所等互联网企业和央企工作。

近年毕业的研究生去向：

2019级    郭盼华     字节跳动

2020级    熊j竟        上海华为研究所

2020级    李畅         人工智能芯片初创公司

2020级    王兴宇      中国农业银行软件开发中心

在读学生：

马少华     董澳      郝家杪    张芷婷

论文/期刊

 

1）Sun Wenhui，etc,  Specification and Verification of Garbage Collector by Java Modeling Language,  FUTURE COMPUTING 2015, France 

2）Sun Wenhui, Xiong Yuqing, Wu Jinzhao, “Methodological Support for service-oriented Design with rCOS”, IEEC , 2009, IEEE Press

3)Sun Wenhui, Liu Feng, Dai Gang, Li Honghui, “Modeling Session Initiation Protocol with Extended Finite State Machines”, The International Conference on Parallel and Distributed Computing, Applications and Technologies，2007，Adelaide, Australia，IEEE Press

4) Sun Wenhui, Dai Gang, Li Honghui, Zhang Jinyu, Liu Feng, “Formal Analysis of the VPN Service Management System”, The International Conference on Parallel and Distributed Computing, Applications and Technologies，2007，Adelaide, Australia，IEEE Press

5）Sun Wenhui, Liu Feng, Zhang Jinyu, Dai Gang “Modeling web service compositions with CSP”，The Sixth International Conference on Distributed Computing and Applications for business, engineering and sciences，2007

6) 孙文辉, 刘峰, 戴钢, 张晋豫 “基于XML数据库的信用信息交换平台的设计与实现”, “计算机应用与软件”2009.

7）孙文辉，刘峰，戴钢，张晋豫 “面向服务的服务等级协议管理机制”,“计算机科学”专刊，第六届全国软件与应用学术会议(NASAC2007)

8)Sun Wenhui, Liu Feng, Zhang Jinyu “Develop a telecommunication service system using service-oriented architecture” The Second IEEE International Symposium on Service-Oriented Applications, Integration and Collaboration (SOAIC-2006)Oct.24-26, Shanghai,IEEE Press

9)Sun Wenhui, Zhang Jinyu, Liu Feng “WS-SLA: A Framework for web services oriented service level agreements” the 10th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2006), IEEE Press, 2006

10)Sun Wenhui, Xu Yue, Zhang Junwen, Liu Feng “The role of XML in Service level agreement management” 2005 International Conference on Services Systems and Services Management (ICSSSM’05), IEEE Press, 2005

11)Sun Wenhui, Liu Feng, Xu Yue “WSSNMP Gateway: a Web services-based SNMP/XML gateway” Proceedings of the seventh international conference on electronic measurement & instruments (ICEMI’2005)

12)孙文辉, 刘峰, 张晋豫 “面向服务的服务等级协议实现框架” <<计算机应用>>2006.5

13)孙文辉，刘峰，徐悦 “基于设计模式的综合网络管理应用” 南京大学学报 2005.6(专刊)

14)孙文辉, 刘峰, 张俊温, 徐悦, 戴钢 “面向电子商务的服务等级协议研究” 北京邮电大学学报2004.Vol.27(增刊)

15)Sun Wenhui, Liu Feng, Li Honghui  “Implementing a CORBA/SNMP gateway with design patterns”  The International Conference on Parallel and Distributed Computing, Applications and Technologies, Chengdu,  IEEE Press , 2003

16) Sun Wenhui, Liu Feng, Zhang Jie  “Design and implementation of a CORBA-based MIB browser”, Proceedings of the International Workshop on Grid and Cooperative Computing, (GCC 2002 ) SanYa, 2002

17)孙文辉, Jean Colin, 曹东启，    “Implementation of a parallel programming environment using Threads”，proceeding of International Symposium of Future Software Technology’98 HangZhou

18)孙文辉，曹东启， “A parallel programming model and its implementation” <<98大连-香港国际计算机会议论文集>>

19)孙文辉，曹东启， “将PVM移植到曙光CLUSTER上”    <<第七届全国青年计算机术会议论文集>>,1998

20)孙文辉，刘平，曹东启，“并行编程技术探讨”       <<计算机科学>>     1997.2

21)孙文辉，刘平，曹东启，“SunOS多线程编程应用”   <<微电脑世界>>   1996.11

22)孙文辉，曹东启，“UNIX网络安全的分析”          <<密码与信息>>      1997.4


23）赵慧娟，孙文辉  “基于符号执行的单元测试研究与应用”  《计算机应用与软件》 2012

24）赵慧娟，孙文辉  “基于退火遗传算法的单元测试方法”   《计算机工程》 2013

25）宋玉婷，孙文辉  “基于JML的标记-清扫垃圾收集验证”    《计算机应用与软件》 2014

26）刘誉臻，孙文辉，张震宇  “程序覆盖进行错误自动定位方法的在线实验平台”  《小型微型计算机系统》  2016

27）张瑜，孙文辉   “基于流分析与归纳不变式结合的German协议验证”    《计算机系统应用》 2017

28）王琦，孙文辉   “基于程序变异分析的软件错误定位”   《计算机工程》  2017


专著/译著

程序分析原理       Fleming Nielson等著      詹博华     冀振燕     孙文辉   译     机械工业出版社   2022.6

专利

软件著作权

获奖与荣誉

IEEE Senior Member

社会兼职