热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
吴际
2023-05-06 10:16
  • 吴际
  • 吴际 - 副教授-北京航空航天大学-计算机学院-个人资料

近期热点

资料介绍

个人简历


吴际,男,博士,副教授,博导,计算机学院软件工程研究所副所长。1974年12月出生,安徽肥西人。主要研究领域是安全关键软件与系统的建模、验证与测试,采用自然语言处理、深度学习、数据挖掘与逻辑建模相结合的方法来研究其中的需求、架构设计、测试自动化、安全性与可靠性等问题。多年来一直与国内航空航天研究所、华为公司等开展了密切合作,面向工业部门的挑战性问题开展研究。多项研究成果在工业界等取得了实质性应用。\r
\r
在IEEE Transactions on Reliability, Empirical Software Engineering, Quality and Reliability Engineering International, Software Practice and Experience,Software Quality Journal, 软件学报、计算机学报等本领域多个期刊和相关国际会议发表多篇学术论文。在研究工作中,注重培养学生的独立思考、科学探索、严谨论证和团队协作能力。课题组与挪威Simula研究所多年一直保持实质性的合作关系,为同学们参与国家化高水平研究提供平台和机会。\r
\r
在教学方面,主讲研究生《高等软件工程》课程(校级精品课和研究性教学示范课程),讲授系统化和精细化的建模思想和模型驱动软件开发;主讲本科生的《面向对象设计与构造》课程(学位课、双百A类课程),讲授面向对象设计思想,包括层次化、线程安全、规格化和模型化的设计方法,广受同学们的好评;作为建设召集人负责本科生《软件工程》课程的改革研究并主讲授课。

研究领域


主要研究领域是安全关键软件与系统的建模、验证与测试,采用自然语言处理、深度学习、数据挖掘与逻辑建模相结合的方法来研究其中的需求、架构设计、测试自动化、安全性与可靠性等问题""

近期论文



担任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等学术会议程序委员会成员。

相关热点

扫码添加好友