Introduction
photo

Yongwang ZHAO , Assoc. Prof., Ph.D
赵永望,副教授/博士
软件工程系 副主任 - Associate Chair, Department of Software Engineering
计算机学院 - School of Computer Science and Engineering
北京航空航天大学 - Beihang University (BUAA)

Address:
G506, New Main Building, Beihang University, Xueyuan Road 37, Haidian District, Beijing, China, 100191
北京市海淀区北京航空航天大学新主楼G座506室

扫描微信公众号:

News
  • [20 May 2017] 参加在法国空客公司总部举行的ARINC653实时操作系统标准委员会会议,并正式成为委员会成员(中国首个成员)。 委员会聚集了国际上几乎所有航空航天制造商:两大整机厂商波音、空客;四大系统供应商GE航空、霍尼韦尔Honeywell、泰雷兹Thales、罗克韦尔Rockwell Colins; 四大操作系统软件供应商 风河WindRiver、绿山Green Hills、DDC-I、SYSGO(PikeOS)。[查看详情]
  • [15 Feb 2017] Journal paper accepted by IEEE Transactions on Dependable and Secure Computing (CCF A). See publication
  • [20 Dec 2016] Full paper accepted by TACAS 2017 (CCF B, top tier in formal methods). See publication
  • [14 Oct 2016] I received an acknowledgement email from Boeing and Airbus for our formal verification of ARINC 653 standard. See news
  • Research Interests
    Professional and Research Activities

    Program Committee Member of:

    Journal Reviewer of:

    • IEEE Transactions on Automation Science and Engieering, The Computer Journal, Computers & Security, IEEE Access, IET Computer&Digital Techniques, 软件学报, ...

    Experience: