朱雪峰

朱雪峰，男，2007年7月毕业于中国科学院计算技术研究所/中国科学院研究生院，获计算机软件与理论专业工学博士学位。曾在《软件学报》等重要期刊及国际会议发表学术论文多篇，主持和参与高可信软件技术教育部重点实验室开放基金、国家自然科学基金重大项目、国家重点基础研究发展规划973项目。目前主讲课程包括：编译原理、高阶数理逻辑、软件工程、软件体系结构以及软件工程课程设计。最近研究兴趣为形式化方法与信息安全，联系方式：xuefeng.zhu@cup.edu.cn。