姓名： 赵永望
职位：
座机：
邮编： 100191

办公地址： 北京航空航天大学新主楼G506
电子邮箱： zhaoyw@buaa.edu.cn
个人主页： http://act.buaa.edu.cn/zhaoyw/


个人介绍
收起

赵永望，博士，副教授。中国计算机学会(CCF)高级会员、 CCF形式化方法专委和系统软件专委委员、ARINC 653国际操作系统标准委员会委员、国家信息技术标准化技术委员会分委会专家。曾任国际标准化组织 ISO/IEC JTC1 SOA研究组组长、新加坡南洋理工大学高级研究员。主要研究方向包括操作系统内核及安全、形式逻辑与验证、安全攸关系统与模型驱动方法等。主持和参与了国家自然基金课题、国家核高基重大专项、新加坡NRF重大项目等十余项。2011年获得中国电子学会电子信息科技一等奖，2017年获得山东省科技进步一等奖。相关成果得到美国波音公司、法国空客公司等的认可，被纳入航空/航天国际操作系统标准，并在开源操作系统社区产生影响力。
担任IEEE Access期刊副主编，并担任IEEE Transactions on Automation Science and Engieering、 The Computer Journal、Computers & Security等期刊审稿人和ACM SAC、IEEE ISORC等国际学术会议的程序委员。在IEEE Transactions on Dependable and Secure Computing (CCF A类)、IEEE Transactions on Industrial Informatics(Q1区)、IEEE Access(Q1区)、Journal of Systems and Software(CCF B类)、International Journal of Web and Grid Services(CCF B类)等顶级期刊和TACAS(CCF B类)、ISSRE(CCF B类)等顶级会议发表论文50余篇。
主讲本科生《离散数学》、《形式语言与自动机》、研究生《软件体系结构与中间件》、《中间件技术》等课程。
个人主页：http://act.buaa.edu.cn/zhaoyw/