王淑灵  女  硕导  中国科学院软件研究所
电子邮件： wangsl@ios.ac.cn
通信地址： 北京市中关村南四街4号中科院软件园区5号楼332室
邮政编码：

研究领域

信息物理融合系统与嵌入式系统的形式验证，微内核操作系统验证，大模型辅助的程序验证，交互式定理证明


招生信息

   
招生专业
081202-计算机软件与理论
招生方向
嵌入式系统建模与验证，交互式定理证明

教育背景

2003-09--2008-07   北京大学数学科学学院   博士学位
1999-09--2003-07   兰州大学数学系   学士学位

工作经历

   
工作简历
2017-09~现在, 中科院软件所计算机科学国家重点实验室, 副研究员
2012-09~2017-09,中科院软件所计算机科学国家重点实验室, 助理研究员
2010-09~2012-08,中科院软件所计算机科学国家重点实验室, 博士后
2008-08~2010-07,联合国大学国际软件技术研究所, 博士后

指导学生

已指导学生

易士程  硕士研究生  081200-计算机科学与技术  

计泽坤  硕士研究生  081200-计算机科学与技术  

现指导学生

徐家乐  硕士研究生  081200-计算机科学与技术  

马旭  硕士研究生  085405-软件工程  

戚玉振  硕士研究生  083500-软件工程  

杨范芃  硕士研究生  081200-计算机科学与技术  

李星  硕士研究生  085405-软件工程