岳涛
教授
北京航空航天大学
教育背景
教育经历:
- 2006-2010:加拿大卡尔顿大学 系统与计算机工程系 博士学位
- 2004-2006 硕士,加拿大 卡尔顿大学 系统与计算机工程系 硕士学位
工作经历:
- 2023–至今:北京航空航天大学 教授
- 2010–2023:挪威Simula研究所,首席科学家、高级研究员、研究员
邮箱
taoyue@slai.edu.cn
个人简介
岳涛,北京航空航天⼤学计算机学院教授、博士生导师;入选国家级人才。主要研究方向包括:智能复杂软件与系统工程、智能系统可信性保障、量子软件工程。在软件工程领域发表高质量学术论文180余篇。现任软件工程领域顶级期刊《IEEE Transactions on Software Engineering》副主编、《ACM Transactions on Software Engineering and Methodology》的量子软件工程专栏第一任主编;牵头制定国际标准 Precise Semantics for Uncertainty Modeling。研究成果已应用于智能仓储、智慧医疗、铁路运输、电梯调度、通信系统等多个工业领域。欢迎软件/系统工程、人工智能、具身智能、量子计算软件等方向的科研合作与优秀博士生报考。