北京交通大学硕士研究生导师信息：孙文辉

　　在读研期间，所有与你读研相关的事情，可能都需要经过你的导师同意，所以说，选择导师真的很重要，也希望大家能够认真对待这件事，怎样才能选择适合自己的导师呢?这就要我们提前做足功课，尽可能多的搜集有关你准备报考的导师的信息，下面新东方在线考研频道为大家分享：“北京交通大学硕士研究生导师信息：孙文辉”文章。

　　北京交通大学硕士研究生导师信息：孙文辉

　　孙文辉

　　博士、副教授

　　基本信息

　　办公电话：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名。

　　研究方向

　　计算机技术

　　软件工程

　　人工智能

　　大数据技术与工程

　　计算机软件与理论

　　生成式人工智能与安全

　　新一代电子信息技术

　　招生专业

　　计算机科学与技术硕士

　　计算机技术硕士

　　软件工程硕士

　　人工智能硕士

　　大数据技术与工程硕士

　　新一代电子信息技术(含量子技术等)硕士

　　科研项目

　　北京交通大学：Comware V7 WAN XML插件开发项目二期，2013-08-01--2013-10-31，10.0万元，参加

　　北京交通大学：Comware V7 WAN XML插件开发项目，2013-04-23--2013-07-26，10.25万元，主持

　　科技部“科技支撑”：基于Mesh网络井下可视化无线救灾通讯技术与装备，2013-01-01--2017-12-31，892.0万元，参加

　　北京交通大学：WLAN V7 AP管理框架一期，2012-11-12--2013-07-29，20.5万元，参加

　　北京交通大学：WLAN RRM抗干扰研究，2012-08-01--2012-12-31，10.0万元，参加

　　北京交通大学：自动化测试环境开发，2011-04-30--2011-07-30，12.0万元，参加

　　国家自然科学基金“面上”：基于动态Mesh网络的流媒体P2P QoS传输机制研究，2011-01-01--2013-12-31，35.0万元，参加

　　基本科研业务费：可信平台模块应用编程接口的形式化分析和自动验证，2009-12-01--2012-12-31，6.0万元，参加

　　财政部：食品豆产品加工企业资料信息数据库建设，2009-10-12--2010-10-31，5.0万元，参加

　　红果园：闭环仿真-1，2008-08-15--2010-08-15，17.0万元，参加

　　科技部“863”：基于网格的铁路货运信息综合应用系统，2007-01-01--2010-12-31，144.2万元，参加

　　北京交通大学：专业运输统计管理信息系统，2006-10-01--2007-12-30，8.0万元，参加

　　铁道部科技司：铁路信息系统应用与技术研究-铁路计算机应用系统测试关键技术研究，2007-01-01--2008-12-31，30.0万元，参加

　　红果园：信息交换平台关键技术研发，2005-07-01--2006-06-30，100.0万元，参加

　　校科技基金：客运专线动车组信息化标准及关键技术研究，2006-01-01--2007-12-31，22.0万元，参加

　　科技部“863”：软件开发公共技术支撑体系的若干关键技术研究和系统集成，2004-10-01--2005-10-01，80.0万元，参加

　　科技部“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

　　以上就是小编为大家分享的：“北京交通大学硕士研究生导师信息：孙文辉”，更多研究生导师信息，欢迎继续浏览新东方在线研究生导师频道。