基本信息
吴鹏  男  硕导  中国科学院软件研究所
电子邮件： wp@ios.ac.cn
通信地址： 北京8718信箱计算机科学国家重点实验室
邮政编码： 100190

研究领域

并发理论、模型检测与测试、机器学习

招生信息

接收2025级硕士生

招生方向
智能软件分析与测试，安全攸关软件验证与测试
安全攸关软件验证与测试

工作经历

   
工作简历
2010-07~现在, 中国科学院软件研究所, 副研究员
2007-09~2010-07,英国伦敦大学学院（University College London）计算机系, Research Associate
2005-09~2007-09,法国巴黎高工（Ecole Polytechnique）计算机系, 博士后

教授课程

高可信软件工程
并发数据结构与多核编程
多处理器系统编程
软件测试与安全分析

个人主页

http://lcs.ios.ac.cn/~wp