姓名： 吴际
职位：
座机：
邮编： 100191

办公地址： 北京航空航天大学新主楼G908
电子邮箱： wuji@buaa.edu.cn
个人主页： 主页更新中


个人介绍
收起

吴际，男，博士，副教授，硕士生导师，计算机学院软件工程系副主任，国家先进航空发动机协同创新中心骨干成员。1974年12月出生，安徽肥西人，2003年博士毕业于北京航空航天大学。主要研究领域是航空航天实时嵌入式系统与软件，具体研究方向包括：综合操作系统与应用软件的嵌入式系统体系结构设计与仿真、安全关键嵌入式软件的需求建模与验证、实时系统设计、体系结构建模与验证、基于证据的安全论证方法、测试自动化方法、软件可靠性与安全评估方法等。从2004年开始，其研究连续获得了多项国家科研项目的支持，包括国家自然科学基金（2项）、863国际合作项目（1项）、863重点项目（2项）、863目标导向项目(1项)、总装探索研究重大项目（1项）、国防预研项目（2项）、国防技术基础项目（1项目）、国防预研基金项目（3项）、航空基金项目（2项）、民机预研项目（3项）等。与国内航空航天研究所开展了密切合作，面向工业部门的挑战性问题开展研究。近年来与挪威的Simula研究所、维也纳工业大学的计算机技术研究所、慕尼黑工业大学的计算机系、埃因霍温工业大学计算机系、卢森堡大学的软件可信研究中心等建立了实质性的合作关系，多名研究生得到了国际研究访问和联合指导机会，发表了一系列高质量的研究论文。 2007年获得ETSI（欧洲电信标准委员会）的首批TTCN-3测试认证；2007年获得IBM的SOA Associate（SOA专业知识）和IBM SOA Architect（SOA架构师）认证。在研究工作中，注重培养学生的工程实践、独立思考、科学探索和团队协作能力，提供多种机会给学生进行实践和锻炼。 在授课方面，主讲研究生高级软件工程课程（学位课），讲授高级建模思想和模型驱动软件开发；主讲本科生的面向对象技术（学位课），讲授面向对象设计思想和基于规格的程序设计与验证方法。 论文著作： 已在IEEE ASE 2004, COMPSAC 2004, COMPSAC2006, ICSEA2006, ICSEA2007, ICSR2008, ICYCS2008, APSEC2008, WSE2009, CSC2011，MODELS2013，QSIC2013，ISSRE2013等国际会议，国际顶级期刊SPE、IST、软件学报、计算机学报、清华学报英文版、北京航空航天大学学报、电子学报等期刊上发表论文30余篇。担任IEEE International Conference on Web Systems Evolution 2009 (WSE 2009)学术会议的程序主席，International TTCN-3 User Conference 2009\2010,IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2009)，QSIC 2010，ICST2012，QSIC2013等学术会议程序委员会成员。手机：**