北航计算机博士生导师介绍（二）-计算机软件与理论

china-long

姓名：  怀进鹏 （现任北航校长）     
  性别：  男      
  出生年份：  1962      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  1998      
  现聘任导师一级学科名称：  计算机科学与技术   
  现聘任导师二级学科名称：  计算机软件与理论   
  聘任在第二学科培养博士生专业名称：  无   
  聘任在自主设置学科培养博士生专业名称：  无   
  主要研究方向及特色：  计算机软件与理论   
  电子信箱：  Huai@csav.buaa.edu.cn   
  办公电话：  82317558   
  办公地点：  世宁大厦701或世宁大厦803   
  通信地址：   
个人简介：
怀进鹏博士，男，教授，博导。1962年12月20日生于黑龙江省哈尔滨市，1987年硕士毕业于哈尔滨工业大学计算机与电气工程学院后，分配到北京航空航天大学任教，1990年师从我国著名的计算机科学家、中科院院士李未教授，1993年获博士学位，同年获国家教委首批"优秀中青年科技人才"计划资助，于1995年9月至1996年9月赴美国哥伦比亚大学计算机系进行学术交流与合作研究。
怀进鹏教授现任北京航空航天大学校长兼党委副书记、国家信息化专家咨询委员会成员、国家十五863计划计算机主题专家组组长、国家电子政务标准化总体组组长、中国计算机学会常务理事，近10年来，主要从事计算机软件、计算机应用、网络信息安全等方面的研究和开发工作，具有良好的专业素质、开拓能力和创新意识。已主持国家863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划和国家信息安全中心等研发计划项目，并主持了国防科工委、工商行和北京市等多项大型信息系统研制，近年来，在网络软件、Web服务技术和网络安全方面取得了重要的研究和实践结果，发表学术论文80余篇，获4项部级科技进步奖，主持完成的多项大型网络与信息系统工程已实际应用，取得了良好的经济和社会效益。  



  姓名：  金茂忠      
  性别：  男      
  出生年份：  1941      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  1994      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  计算机软件与理论   
  电子信箱：  Jmz@buaa.edu.cn   
  办公电话：  82317496   
  办公地点：     
通信地址：  北京航空航天大学 软件工程研究所   
个人简介：
博士生导师，曾任北航计算机系主任、北航图书馆馆长，北航软件工程研究所所长，现任北航软件工程研究所副所长、中国软件行业协会常务理事，"软件开发环境"国家重点实验室学术委员，全国计算机等级考试委员会副主任。
金茂忠教授曾于一九八○年与一九九○年先后两次赴日本福井大学进行计算机系统软件和并行处理语言的研究工作，在编译系统的实现等方面取得研究成果。回国后，一直从事计算机软件的教学、研究工作，有丰富的教学工作经验和主持较大型科研项目的能力。曾主持和参加多项国家自然科学基金、航空科学基金、863计划、国家科技攻关等项目的研究，是国家 "七五"、 "八五" 和 "九五" 科技攻关项目 "青鸟软件工程环境" 总体专家组成员，并担任了该项目的多项专题及子专题的负责人。
已发表论文40余篇，参与编写或翻译的教材和专著11部，已鉴定科研项目11项。在软件开发环境和工具方面取得不少重要研究成果，曾获国家科技进步二等奖（"青鸟软件工程环境"，排名7）、电子部科技进步特等奖（"青鸟软件工程环境"，排名7）、航空工业总公司科技进步二等奖（"微机软件工程工具集"排名1）等多项奖励。   

姓名：  李未（原北航校长）      
  性别：  男      
  出生年份：  1943      
  职称：  院士      
  院系：  计算机学院      
  首次聘任导师时间：  1986      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  应用数学   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  1.计算机科学理论与软件基础 2.高速网络下的协同工作环境 3.海量信息物理学   
  电子信箱：  liwei@nlsde.buaa.edu.cn   
  办公电话：  82317619   
  办公地点：  逸夫科学馆五层   
通信地址：  北京市海淀区学院路37号   
个人简介：  
李未，1943年6月8日出生，北京航空航天大学计算机系教授，博士生导师，中国科学院院士，国务院学位委员会委员。1966年北京大学数学与力学系毕业，1983年获英国爱丁堡大学计算机科学博士学位。现任北京航空航天大学校长、北航软件开发环境国家重点实验室主任。李未院士在实用并发语言操作语义和形式理论序列及其极限研究等方面取得了开创性研究成果。1998年李未院士在我国首先倡导进行海量信息计算的理论与方法研究，现担任国家重点基础研究发展规划（973）项目"网络环境下海量信息组织、处理及传输的理论与方法"首席科学家。李未院士获国家自然科学奖二等奖一项，省部级科技进步奖一等奖及二等奖多项，何梁何利科技进步奖一项。
李未院士是参与创立、发展和完善结构操作语义方法的主要学者之一，80年代初期，李未院士使用这种方法最先给出了Ada语言有关任务，包括并行、汇聚、通讯、同步及选择等机制的语义，建立了在并行机制下的程序模块以及程序例外处理的语义。他的工作系统地解决了诸如像Ada、Edison等并发式程序设计语言的操作语义问题，并在语义研究的基础上建立了并发语言的翻译与变换理论。
从1992年开始，李未院士根据在863计划实施过程中出现的软件开发方法及知识库的建立和维护等需求，提出了关于形式系统序列、极限及相关的计算模式等一系列概念和方法，将分析数学中逼近和近似的方法用于软件系统的开发。这一研究在国际上首次提出了以版本作为基本对象、用版本序列描述开发过程、用版本系列极限刻画最终目标的概念和方法。
李未院士用模型的概念和方法，给出了知识库维护过程中"增新扩充"和"出错修正"的合理描述，首次建立了一个"规约修正"演算系统，并给出了基于Prolog语言的"规约修正"算法，该演算系统使程序规约的修正有了可操作的数学方法。他首次提出软件开发策略、知识库维护策略的收敛性概念，并用版本序列的收敛速度衡量维护策略的优劣。在他指导下的课题组成员还研究了力迫、猜想与反驳、归纳等多种软件开发策略，并证明了它们的收敛性。李未院士将这一整套概念和方法称之为"开发逻辑"理论，并曾应邀在德、法、英、丹麦、及瑞典等国大学就"开发逻辑"理论进行讲演和讲学。
为解决网络环境下拥有海量信息、运行着海量进程的服务软件系统的设计、实现和维护中的重大问题，973"网络环境下海量信息组织与处理的理论与方法研究"项目组从海量信息科学、软件技术与方法以及试验性软件研究三个层次开展了基础研究。两年来，作为该项目的首席科学家，在他的领导下，项目组对此开展了富有成效的研究，取得了丰硕的成果，并顺利通过了科技部主持的项目中期评估，获得重点资助。
主要研究方向：
●计算机科学理论与软件基础
●高速网络下的协同工作环境
●海量信息物理学   


  姓名：  李先贤      
  性别：  男      
  出生年份：  1969      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2009      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  网络与信息安全、面向网络的新型计算   
  电子信箱：  lixx@buaa.edu.cn   
  办公电话：  82338293   
  办公地点：     
通信地址：  北京市海淀区学院路37号   
个人简介：
男，出生于1969年9月，教授。2002年毕业于北京航空航天大学计算机学院获博士学位。目前在计算机新技术研究所（ACT）开展研究，入选2005年度教育部新世纪优秀人才计划和北航“蓝天(科研)新星”。
目前研究方向：分布式系统安全、可信计算理论。
科研情况：承担了国家863计划、973计划和国防基础科研等多项国家研究项目，在网络安全协议理论与技术、分布式系统安全和可信计算理论等方面做了深入地研究，在《中国科学》、J. Computer of Sci. & Tech.,《计算机学报》、《软件学报》、国际会议及期刊等在内的核心刊物发表学术论文20余篇，分别获得2004年度、2005年度国家科技进步二等奖和2005年度国防科技一等奖。


  姓名：  李舟军      
  性别：  男      
  出生年份：  1963      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2005      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  网络信息安全   
主要研究方向及特色：  高可信软件理论和技术，网络与信息安全技术，数据挖掘与生物信息学，web服务、语义web与P2P计算   
  电子信箱：  zhoujun.li@263.net，lizj@buaa.edu.cn   
  办公电话：  82338247   
  办公地点：     
通信地址：  北京西城区新文化街32号楼234室   
个人简介：
  李舟军，男，1963年9月生，湖南湘乡人，汉族，中共党员。1984年毕业于武汉大学计算机系，1986年研究生毕业于国防科技大学计算机系，并留校任教。1999年在国防科技大学计算机学院获博士学位。1989年任讲师，1994年任副教授，2001年任教授，2002年任博士生导师。2005年从国防科技大学转业，分配到北京航空航天大学计算机学院。现任北京航空航天大学计算机学院教授、博士生导师。
欧洲理论计算机科学学会（EATCS）会员，中国计算机学会高级会员，理论计算机科学专业委员会委员，学术期刊“International Journal of Data Mining and Bioinformatics ” (IJDMB) 编委，ICYCS'2001、BASICS’ 2001、IEEE DMB’ 2006（2006 IEEE ICDM International Workshop on Data Mining in Bioinformatics）、IEEE DMIR’2007 （2007 IEEE International Symposium on Data Mining and Information Retrieval）、BioDM’2007（2007 PAKDD International Workshop on Data Mining for Biomedical Applications）、IEEE BIBM’2007（2007 IEEE International Conference on Bioinformatics and Biomedicine)、IEEE GrC’2007（2007 IEEE International Conference on Granular Computing）等国际会议的程序委员会委员。
   长期从事计算机科学理论方面的教学工作，先后主讲了《离散数学》、《抽象代数》、《形式语言》、《形式语义学》和《计算机理论高级专题》等多门本科生、硕士生和博士生课程，指导和培养硕士生和博士生30余人（含在读）。合著和出版《数理逻辑》和《抽象代数》两部研究生和本科生教材，博士学位论文《传值CCS和π-演算互模拟等价的验证理论和算法》2005年被国防科技大学出版社作为“优秀博士学位论文丛书”之一出版发行。先后承担或主持多个国家自然科学基金和国家863计划课题，在进程代数理论、软件形式化开发方法、安全协议形式化分析与验证技术、数据挖掘技术等方面取得重要研究成果，一些重要工作被国内外同行所引用。2000年获国内计算机软件界具重要影响的“中创软件人才奖”，2003年获军队院校育才银奖，2004年获全国优秀博士学位论文提名。设计并实现了一个π-演算的定理证明器PiM，设计和实现了一个基于进程代数和逻辑程序的安全协议验证工具原型SPVT。


  姓名：  刘超      
  性别：  男      
  出生年份：  1958      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2006      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  软件工程、软件质量与软件测试、软件过程、面向对象技术   
  电子信箱：  liuchao@buaa.edu.cn   
  办公电话：  82317496   
  办公地点：  航天逸夫馆东配楼六层606室   
通信地址：  北京航空航天大学软件工程研究所   
个人简介：
  现任计算机学院副院长、软件工程研究所所长。兼任中国计算机学会软件工程专业委员会副主任委员，中国软件行业协会软件工程专业委员会副主任、北京市软件行业协会监事。主要从事软件工程领域的研究，重点在软件测试、软件质量、软件过程能力改进、面向对象技术等方向，目前承担的项目有国家自然科学基金项目、863计划项目、国防项目等。


  姓名：  刘旭东      
  性别：  男      
  出生年份：  1965      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2008      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  计算机系统结构中间件技术及其应用大型信息系统工程化电子政务、电子商务   
  电子信箱：  liuxd@buaa.edu.cn   
  办公电话：  82316285   
  办公地点：     
通信地址：  海淀区学院路37号 计算机学院办公室   
个人简介：
刘旭东，男，1965年5月出生，教授、北京航空航天大学计算机学院副院长，计算机新技术研究所副所长，兼任W3C中国办事处副主任、国家电子政务标准化应用支撑技术组组长。主要从事软件中间件技术、大型信息化工程与应用、信息化标准等方面的研究工作。主讲《计算机组成原理与汇编语言》本科生必修课程。近几年先后承担完成了国家863计划、科技部十五攻关项目、国家电子政务试点示范工程、北京市科技计划项目等十余项科研课题，发表论文10余篇，申请发明专利6项。曾获国家科技进步一等奖1项、二等奖2项，省部级科技进步一等奖4项，国家教学成果一等奖1项、二等奖1项，北京市教学成果1等奖2项。


姓名：  马殿富      
  性别：  男      
  出生年份：  1960      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2002      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  计算机软件与理论   
  电子信箱：  dfma@nlsde.buaa.edu.cn   
  办公电话：  82317634   
  办公地点：     
通信地址：   
个人简介：
马殿富，男，1960年生人，教授，博士。现任计算机系主任。主要讲授图像处理与模式识别课程。
马殿富主持参加了国家重点基础研究发展规划973项目、国家高技术863项目、国家自然基金重大项目、攻关项目以及科研院所等十多项科研项目，曾参加863项目"加强型智能工作站"，获航空工业总公司科学进步一等奖（第三名获奖者）；主持863项目"智能协同信息处理技术研究与应用"；"北京市朝阳区科委办公自动化信息网络系统"。现主持973项目《网络环境下海量信息组织与处理的理论与方法研究》的二级子课题《基于先进网络的下一代因特网公共服务环境》；主持863重点项目《网络环境的系统软件核心技术及运行平台》；主持国家自然基金重大项目"陆相油储地球物理理论及三维地质图像成图方法"的二级课题"地质几何形态、地质属性刻化及建立三维地质模型软件平台"。
主要研究方向：高速网下的协同工作环境、网络计算、计算机科学可视化等。   


  姓名：  马世龙      
  性别：  男      
  出生年份：  1953      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2004      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  计算机软件与理论，海量信息处理的计算理论研究，Web资源发现的模型和算法研究，计算机软件的形式化方法   
  电子信箱：  slma@nlsde.buaa.edu.cn   
  办公电话：  82317643   
  办公地点：  北航逸夫馆5层516   
通信地址：  北京市海淀区学院路37号北航   
个人简介：
马世龙，男，1953年7月24日出生，北京人，汉族，群众。1984年6月在北京航空航天大学计算机系研究生毕业，获硕士学位。后在科研工作中获（论文）博士学位。现任北京航空航天大学计算机学院教授、博士生导师、软件开发环境国家重点实验室常务副主任。目前还担任国家自然科学基金委员会第十和十一届信息科学部专家评审组成员、国防科工委国防基础研究基金专家评审组成员、亚洲软件基础学会执行委员会委员、中国人工智能学会常务理事。
承担过多项国家级研究课题的研究，以及多项应用软件系统设计开发工作。在国际学术刊物和国际学术会议上发表研究论文多篇；应邀参加撰写英文科研专著两本；多篇论文被SCI、EI和ISTP索引和摘要，并有国际同行引用。1999年获教育部科技进步三等奖。近年来，曾承担国家973项目“网络环境下海量信息组织与处理的理论与方法研究”01课题“海量信息系统规律、模型和维护机理研究”的研究工作，曾经承担国家863重大项目“资源环境应用网格系统构建”的研究工作。现在的研究方向为：网络环境下的计算模型、逻辑和计算的动态行为研究、海量信息处理的计算模型研究、构件计算和服务计算及其应用研究。
近年来，主讲研究生学位课程“计算理论”，本科生课程“计算引论”。指导硕士研究生40余名，指导博士研究生10余名。

  
  姓名：  许可      
  性别：  男      
  出生年份：  1971      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2008      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  算法与计算复杂性、数据挖掘、复杂网络分析   
  电子信箱：  kexu999@gmail.com   
  办公电话：  82315704   
  办公地点：     
通信地址：  北航计算机学院603信箱   
个人简介：
许可，1971年8月生，男，教授，博士生导师。分别于1993年7月和2000年3月在北京航空航天大学飞行器设计与应用力学系和计算机科学与工程系获学士和博士学位。现工作于北京航空航天大学计算机学院软件开发环境国家重点实验室。2002年获"全国百篇优秀博士论文"奖。2005年和2007年分别入选北京市科技新星计划和教育部新世纪优秀人才支持计划。主持或作为学术骨干参与了国家自然科学基金、973和国家攀登计划等科研项目。现任《中国科学（F辑）》编委、973项目首席科学家助理和项目专家组成员。主要从事算法与计算复杂性、数据挖掘和复杂网络等方面的研究工作。提出并研究了具有精确相变和难解实例的RB模型，系列研究成果在Journal of AI Research、Theoretical Computer Science和Artificial Intelligence等国际期刊上发表。研究成果被Handbook of Constraint Programming、Encyclopedia of Optimization和来自理论计算机科学、人工智能和离散数学等领域的国际重要期刊上的论文多次显著引用，并被包括国际著名学者在内的国际同行进一步发展或推广。以RB模型为基础所构造的算法测试集被广泛地下载，并应用于SAT、CSP和PB等国际算法竞赛。部分成果被美国加州大学圣地亚哥分校、美国明尼苏达大学和加拿大阿尔伯塔大学等十多所国外大学分别用于算法和人工智能等课程的教学工作。  
  


  姓名：  姚淑珍      
  性别：  女      
  出生年份：  1965      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2009      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  软件工程、Petri网、分布式系统、网络安全   
  电子信箱：  szyao@buaa.edu.cn   
  办公电话：  82317602   
  办公地点：     
通信地址：  北京航空航天大学软件学院   
个人简介：
姚淑珍，教授，1989年获北京航空航天大学计算机软件与理论专业硕士学位。曾任原北航计算机系（现计算机学院）副系主任，现任北航软件学院总支书记兼副院长。
从教十余年，具有丰富的教学经验，是“软件开发方法”、“软件需求工程”、“并发软件与Petri网”专业课程的主讲教师。长期从事软件工程、分布计算、系统集成方面的研究工作，已开发完成八五国防科技预研项目（获航空工业总公司科技进步二等奖）、九五国防科技预研项目（获国防科学技术三等奖）、国防型号任务（获国防科技进步一等奖）、国家自然科学基金、航空基金等纵向课题。负责政府合作项目、企业应用项目十余项，曾连续两年获北航科技开发特等奖。还获得过北航优秀硕士学位获得者、北京市优秀青年教师、北航成飞奖教金、北航京东方奖教金、北航优秀党员等荣誉称号。出版了10本教材，发表了教学/科研论著50余篇，部分论文被EI、ISTP收录。


  姓名：  张莉      
  性别：  女      
  出生年份：  1968      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  2004      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  计算机软件与理论   
  电子信箱：  lily@buaa.edu.   
  办公电话：  82317649   
  办公地点：  如心楼511   
通信地址：  北京航空航天大学计算机学院   

个人简介：
张莉，女，1968年3月出生，博士，教授，博士生导师。现任北京航空航天大学计算机学院副院长，软件工程研究所副所长。中国航空工业第二集团公司计算机与信息技术研究发展中心副主任。教育部理工类计算机基础课程教学指导分委员会委员，中国宇航学会计算机应用专业委员会委员，中国计算机学会YOCSEF学术委员会委员。
教学方面：负责计算机学院本科教学计划的设计和制定；北航研究生教学指导委员会成员。主讲本科生必修课“编译技术”（2004年被评为北京市精品课程）、研究生学位课“软件体系结构”。2004年获得北京市教学成果一等奖，2005年获得国家教学成果一等奖（排名第四）。
科研方面：主要从事软件工程、过程工程、企业/软件建模、软件开发等相关的技术研究和开发工作。曾主持或作为主要技术负责人完成了国家自然科学基金资助的“过程驱动的软件工程环境体系结构研究”、“企事业过程的自动模拟和优化”和航空工业总公司资助的“Ada软件测试与分析系统”（获部级科技进步二等奖），以及中美合作项目“企事业过程建模系统”（获部级科技进步二等奖）和“UML-Designer系统”、中欧合作项目“并行工程和企业建模方法”、北京市科委资助项目“需求驱动的基于软件体系结构的柔性软件开发方法及支持工具”、航空基础科学基金项目“现代优化理论与仿真技术在直升机武器装备系统进度与费用管理中的应用研究”、863高科技项目“网格技术在航空制造业的应用研究”等课题。1996年，1998年两次前往美国Funsoft公司，进行为期6个月的项目合作研究； 1999年3月、12月分别访问法国波尔多大学和德国卡尔斯鲁大学，进行合作项目“并行过程和企业建模方法学”项目研讨。目前负责主持跨世纪人才“可视化建模语言及面向Web的可视化过程建模系统的研究与实现”、参与国防基础研究项目（专项）、船舶外贸项目等多项科研项目。近年来在核心刊物和国际会议上共发表论文60多篇。
1996年博士学位论文曾被评为北京计算机学会第三届博士优秀学位论文，1998-2000年任863/CIMS石化行业专家组成员，2001年入选北京市科技新星计划，2001年获得“中创软件人才奖”。 2004年底入选教育部“新世纪优秀人才支持计划”。
  

  姓名：  周伯生      
  性别：  男      
  出生年份：  1935      
  职称：  教授      
  院系：  计算机学院      
  首次聘任导师时间：  1990      
  现聘任导师一级学科名称：  计算机科学与技术   
现聘任导师二级学科名称：  计算机软件与理论   
聘任在第二学科培养博士生专业名称：  无   
聘任在自主设置学科培养博士生专业名称：  无   
主要研究方向及特色：  计算机软件与理论   
  电子信箱：  bszhou@acm.org   
  办公电话：  82317625   
  办公地点：     
通信地址：   
个人简介：
1958年开始从事计算机专业的教学和科研工作，1988年创办北航软件工程研究所，1990年批准为计算机软件专业博士生导师，现为北航计算机科学和工程系教授，博士生导师，北航软件工程研究所名誉所长，联想研究院学术委员会顾问，美国Cyber Keji Park公司首席顾问和FunSoft公司工程部主任。1981.8～1984.1，美国马里兰大学计算机科学系高级访问学者。1984.2～1986.7，国家科委与美国ISSI公司合作项目首席专家。1986.1～1995.12，国家七五和八五科技攻关软件工程及环境总体组成员， 1986.1～1990.12，国防科工委科技委计算机软件与算法专业组成员。1986.7～1991.12，国家自然科学基金重大项目CADCSC学术领导小组成员，负责软件工程化工作。1991.10，赴美国工作，先后担任美国ISSI公司和FunSoft公司工程部主任，负责过程工程环境的研制与开发工作。2000年以来，着重对我国软件组织的软件过程策划、改进和软件能力成熟度模型（SW-CMM）的培训、咨询和评估工作，已经对国内一些著名的软件组织实施CMM的培训、咨询和评估，并有一些已达到了期望的CMM等级。自2000年9月以来，多次赴美国参加Carnegie Mellon 大学软件工程研究所(CMU/SEI)主办的"Introduction to the CMM for Software (SW-CMM)"、"Introduction to the CMM for Software Acquisition (SA-CMM)"、"Introduction to Capability Maturity Model?-Integrated (CMMISM) - Systems Engineering and Software Engineering, Staged Representation"、"Intermediate Concepts of CMMI"和"CBA Lead Assessor Training"等课程培训，并获CMU/SEI颁发的合格证书，目前已成为名卡内基梅隆大学认可有评估资格的CBA IPI candidate Lead assessor。

china-long

计算机软件与理论是北航的国家级重点学科，所以导师也很多。。。而且上面的也是不包括兼职博导

china-long

这个学科包括上任校长李未院士领导的软件开发环境国家重点实验室，现任北航校长怀进鹏领导的ACT，还有软件工程研究所