Experience
Education
Bio
施智平,工学博士,教授,博士生导师,首都师范大学信息工程学院院长,电子系统可靠性技术北京市重点实验室主任。研究兴趣包括形式化验证,机器视觉,人工智能。
中国计算机学会高级会员,人工智能学会、ACM、IEEE 会员,计算机学会形式化专委会委员;曾任International Conference on Intelligent Information Processing、 the 19th ACS Australian Joint Conference on Artificial Intelligence程序委员;担任Multimedia Tools and Applications、The International Journal of Computational Intelligence Systems、Journal of Engineering and Computer Innovations、Informatica、Computers & Mathematics with Applications、中国科学、计算机学报、软件学报、电子学报、计算机辅助设计与图形学学报等期刊审稿专家。共(合作)发表学术论文100多篇。
2006年获北京市科学技术奖三等奖;2011年、2017年两次获北京市科学技术奖二等奖;2012年北京市优秀人才培养资助项目D类;2013年北京市高校青年拔尖人才;2008 年获中国科学院计算技术研究所“优秀研究人员”称号。
轻型工业机器人与安全验证北京市重点实验室是美国教授和首师大组成的联合实验室,研究智能机器人、机器视觉、虚拟现实、操作系统、形式化验证等技术。机器人技术是人工智能和先进制造技术的结合,是当前和未来社会最重要的革命性技术,欢迎有激情肯努力的同学报考研究生。这里提供国家级项目课题,机器人、机器视觉、VR/AR、深度学习工作站等优越的实验设备,参加全国各地暑期学校的机会,国际交流的机会。