个人简介

主要经历 2013.1-2014.1，美国波特兰州立大学，访问学者； 2011.7-2011.8，访问加拿大Concordia大学HVG实验室； 2010.10-现在，首都师范大学信息工程学院，教授； 2005.7-2010.9，中国科学院计算技术研究所智能信息处理重点实验室，副研究员； 2002.9-2005.6，中国科学院计算技术研究所读博，计算机软件与理论专业，导师为史忠植研究员； 2006年获北京市科学技术奖三等奖；2011年、2017年两次获北京市科学技术奖二等奖；2012年北京市优秀人才培养资助项目D类；2013年北京市高校青年拔尖人才；2008年获中国科学院计算技术研究所“优秀研究人员”称号。 轻型工业机器人与安全验证北京市重点实验室是美国教授和首师大组成的联合实验室，研究智能机器人、机器视觉、虚拟现实、操作系统、形式化验证等技术。机器人技术是人工智能和先进制造技术的结合，是当前和未来社会最重要的革命性技术，欢迎有激情肯努力的同学报考研究生。这里提供国家级项目课题，机器人、机器视觉、VR/AR、深度学习工作站等优越的实验设备，参加全国各地暑期学校的机会，国际交流的机会。 主持项目 国家自然科学基金，拉格朗日动力学形式化及其在机器人验证中的应用，61876111，2019.1-2022.12； 国家重点研发计划项目子课题：伤员救援机器人控制器嵌入式设计及软件可靠性分析，2017.7-2020.6； 国家自然科学基金：机器人运动学形式化分析及其算法验证，61472468，2015.1-2018.12； 中澳两国政府间国际科技合作计划"系统形式化验证及性能分析关键技术合作研究",2012-2014；合作主持 国家自然科学基金：希尔伯特空间以及矩阵理论在HOL4中的形式化，61170304，2012-2015； 国家自然科学基金：基于视感知的图像视频语义获取关键技术研究，60903141，2010-2012； 计算机体系结构国家重点实验室开放课题：矩阵在高阶逻辑定理证明器中的形式化，2011.10-2013.10； 参加项目 中加两国政府间国际科技合作计划"苛刻环境嵌入式系统高可靠串行通信抗干扰机制及验证",2010-2012； 国家自然科学基金重点项目“基于云计算的海量数据挖掘”，No.61035003,2011.1-2014.12； 973项目子课题“非结构化信息(图像)的内容理解与语义表征”No.2007CB311004，2007.7-2012.7； 国家自然科学基金“基于感知学习和语言认知的智能计算模型研究”No.60435010，2005.1-2008.12； 国家“八六三”高技术研究发展计划“基于感知机理的智能信息处理技术”,2006.9-2008.12 专著 《机器学习——算法背后的理论与优化》，作者:史春奇，卜晶祎，施智平，清华大学出版社，2019年6月出版