基本信息
宋富  男  博导  中国科学院软件研究所
电子邮件： songfu@ios.ac.cn
通信地址： 北京市中关村南四街4号5号楼216室
邮政编码：

研究领域

  • 模型检查
  • 系统分析与验证
  • 计算机安全
  • 人工智能安全


招生信息

招收硕士、博士

招生专业
081202-计算机软件与理论
083500-软件工程
083900-网络空间安全
招生方向
形式化验证
程序分析
网络空间安全

教育背景

2009-12--2013-04   巴黎狄德罗大学（巴黎七大）   博士
2007-03--2009-06   华东师范大学   硕士
2002-09--2006-06   宁波大学   学士

工作经历


工作简历
2023-09~现在, 中国科学院软件研究所, 研究员
2021-08~2023-09,上海科技大学, 副教授、研究员
2016-08~2021-07,上海科技大学, 助理教授、研究员
2016-01~2016-07,华东师范大学, 副研究员
2013-08~2015-12,华东师范大学, 讲师
社会兼职
2024-01-01-今,中国计算机学会形式化方法专业委员会常委, 形式化方法专业组委员

教授课程

编译原理
计算理论
信息安全研究方法
嵌入式系统开发实践

个人主页

详见 https://songfu1983.github.io/