赵永望，博士，副教授。 主持和参与了国家自然基金课题、国家核高基重大专项、新加坡NRF重大项目等十余项。2011年获得中国电子学会电子信息科技一等奖，2017年获得山东省科技进步一等奖。相关成果得到美国波音公司、法国空客公司等的认可，被纳入航空/航天国际操作系统标准，并在开源操作系统社区产生影响力。 在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余篇。 主讲本科生《离散数学》、《形式语言与自动机》、研究生《软件体系结构与中间件》、《中间件技术》等课程。
研究领域
操作系统内核及安全、形式逻辑与验证、安全攸关系统与模型驱动方法等担任IEEE Access期刊副主编，并担任IEEE Transactions on Automation Science and Engieering、 The Computer Journal、Computers & Security等期刊审稿人和ACM SAC、IEEE ISORC等国际学术会议的程序委员。
