中文
name: Yongwang Zhao
job:        
telephoneNo: 010-82339274
postCode: 100191
officeLocation: BUAA NEW Main Building G506
homePage: Updatinghttp://act.buaa.edu.cn/zhaoyw/
Introduction

赵永望,博士,副教授。中国计算机学会(CCF)高级会员、 CCF YOCSEF 委员、OW2 国际开源中间件联盟技术委员会成员、国家信息技术标准化技术委员会 SOA 分委员会专家。2011-2013年,担任国际标准化组织 ISO/IEC JTC1 SC7/WG7 SOA研究组组长; 2013年,担任法国科学院图卢兹计算机信息研究所(IRIT)访问学者;2015-2016年,担任新加坡南洋理工大学研究科学家。多次担任ACM SAC、IEEE ISORC等国际学术会议的程序委员会委员。 主要研究方向包括系统软件及安全(操作系统内核、Hypervisor、云计算中间件等)、编程语言原理、形式化方法(基于学习的系统分析、形式逻辑、定理证明等)、安全攸关系统与模型驱动方法等。主持和参与了国家自然基金课题、国家核高基重大专项、新加坡国家研究署(NRF)重大项目等十余项。担任核高基重大专项课题技术负责人,组织开发了国产思迅 Web 服务中间件平台,相关成果在国内中间件厂商、航空/航天企业得到应用,于2011年获得中国电子学会电子信息科技一等奖。担任新加坡NRF重大项目技术负责人,组织多核操作系统微内核的形式验证技术研究,相关成果被美国波音公司、法国空客公司等采纳,并受邀参加ARINC 653国际航空操作系统标准委员会。 近年来,与新加坡南洋理工大学、欧盟EURO-MILS重大项目、瑞士苏黎世联邦理工学院、法国科学院IRIT研究所等一流研究机构开展紧密学术合作。在IEEE Transactions on Dependable and Secure Computing (CCF A类)、IEEE Transactions on Industrial Informatics(Q1区)、Journal of Systems and Software(CCF B类)、International Journal of Web and Grid Services等顶级期刊和TACAS(CCF B类)、ISSRE(CCF B类)等顶级会议发表论文50余篇。 主讲本科生《形式语言与自动机》、研究生《服务计算基础》、《软件体系结构与中间件》、《中间件技术》等课程。 个人主页:http://act.buaa.edu.cn/zhaoyw/ 办公室:新主楼G506室,电话:010-82339274,Email:zhaoyw@buaa.edu.cn


Address:Colleage Road,Haidian District,No.37   Zip code:100191   Email:scse@buaa.edu.cn
Rights Reserved:05004653  @2012-2013  Beihang University School of Computer Science & Engineering