副教授

当前位置: 首页 > 师资队伍 > 全体教师 > 副教授 > 正文

姓名: 吴际
职位:        
座机: 010-82317624
邮编: 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等学术会议程序委员会成员。手机:13521128276