• 副教授

    當前位置: 首頁 > 師資隊伍 > 全體教師 > 副教授 > 正文

       
         姓名:           趙永望  
         職位:                        
         座機:           010-82339274  
         郵編:           100191  
                辦公地址:                       北京航空航天大學新主樓G506  
                電子郵箱:                   zhaoyw@buaa.edu.cn  
                個人主頁:                   http://act.buaa.edu.cn/zhaoyw/  
      個人介紹

    趙永望,副教授/特聘研究員,博士生導師。擔任ARINC653國際操作系統標準委員會委員(國內唯一)、國際信息技術安全評估標準操作系統內核技術委員會委員、中國計算機學會(CCF)高級會員、CCF系統軟件專委會和形式化方法專委會委員。曾任國際標準化組織 ISO/IEC JTC1 SOA研究組組長、新加坡南洋理工大學高級研究員。主要研究方向包括操作系統內核及安全、形式邏輯與驗證、安全攸關系統與模型驅動方法等。主持和參與了國家自然基金課題、國家核高基重大專項、新加坡NRF重大項目等十余項。2011年獲得中國電子學會電子信息科技一等獎,2017年獲得山東省科技進步一等獎。相關成果得到美國波音公司、法國空客公司等的認可,被納入航空/航天國際操作系統標準,并在開源操作系統社區產生影響力。目前,和華為、阿里等IT企業和中國航空/航天等多個院所開展項目合作。

    擔任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/,Emailzhaoyw@buaa.edu.cn,微信號zhaoyw-buaa

     

    真人平台|主页