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:

    • 2017 - present, Member of ARINC653 Standard Commitee [国际ARINC653实时操作系统标准委员会 成员]
    • 2015 - 2016, Research Fellow, Nanyang Technological University, Singapore [新加坡南洋理工大学 研究科学家]
    • 2016 - present, Member of CCF Task Force on Formal methods [中国计算机学会形式化方法专委会 委员]
    • 2013 - present, Senior Member of China Computer Federation(CCF) [中国计算机学会 高级会员]
    • 2013, Visiting Researcher of IRIT [法国图卢兹计算机信息研究所(IRIT) 访问学者]
    • 2010 - present, Member of CCF YOCSEF Committee [中国计算机学会 YOCSEF委员]
    • 2010 - 2013, Convener of 12207-SOA Study Group under ISO/IEC JTC1 SC7/WG7 [国际标准化组织 ISO/IEC JTC1 SC7/WG7 SOA研究组组长]
    • 2009 - present, Member of SOA subcommittee under China National Information Technology Standardization Committee [全国信息技术标准化技术委员会 SOA 分技术委员会专家]
    • 2007, Visiting researcher of INRIA Sophia Antipolis [法国自动化所(INRIA) 访问学者]