面对未来的智能世界，软件是核心更是基础。“C++之父”本贾尼·斯特劳斯特卢普提出“软件定义世界”的观点。而首都师范大学信息工程学院“可信软件工程”团队在可信软件与人工智能人才培养和前沿科学研究领域深耕多年，瞄准关键基础软件自主可控的国家需求，聚焦产学研一体化赋能和科技成果转化，为推动“新质生产力”发展作出贡献。

自2008年起，信息工程学院“可信软件工程”团队在工程数学形式化和机器人操作系统验证方面，团队取得具有国际影响力的研究成果。他们研发的国内规模最大的数学理论定理证明程序库，不仅在国内首屈一指，还得到了国际主流定理证明器HOL4和HOL Light的认可与发布，为我国软件工程的自主创新发展奠定基础。

值得一提的是，该团队在国际上率先提出基于几何代数、分析动力学理论的机器人运动学和动力学形式化建模理论，并出版了四本专著，成为国际上在该领域研发工程数学形式化定理证明程序库最多的团队之一。同时，该团队还积极响应国家产业发展需求，积极践行产学研融合发展理念，承担了科技部、航天院所、华为、上海商飞等众多攻关项目，将科研成果转化为实际生产力，为推动“新质生产力”的发展作出了重要贡献。

而这些优异的科研成就，也正是首师信息工程学院科研实力的一个缩影。作为该校唯一的工科学院，信息工程学院现设有人工智能（师范）、人工智能、计算机科学与技术、电子信息工程四个本科专业。其中，人工智能（师范）和人工智能专业是在人工智能上升为国家战略的背景下，全国第二批新增的特色专业；计算机科学与技术专业则为北京市特色专业，为学生提供了广阔的发展空间。

而在人才培养方面，该学院以“第一班主任”制度为平台，以“辅导员-班主任（导师）”协同育人工作模式为实践，用心用情地培养人才。同时，该学院还设立了各类面向本科生的科研项目，将竞赛和科研融入专业学习。如2020级本科生邱宇轩通过参与导师团队的研究学习，不仅在学术上取得显著进步，还发表了两篇高水平学术论文，并获得2024年校长奖学金一等奖，保研至本校继续深造。

此外，该学院还积极与企业合作，共签约13家实践基地，为学生提供丰富的实习实践机会。学子们在实习过程中能够逐步了解社会所需，运用自己的专业知识解决实际问题。

多年来，首师该毕业生就业前景广阔，多数毕业生在北京知名互联网企业、国企、政府部门等就业；师范生则主要在北京市重点中学及教育管理等部门就业。学院连续多年被评为就业先进单位，每年有超过30%的毕业生到国内外知名高校和科研院所攻读研究生学位，约6%的学生获得免试推荐研究生的资格。

随着信息技术的不断发展和创新应用的不断涌现，首都师范大学信息工程学院深耕可信软件工程领域，探索人工智能创新实践型人才培养模式，以更加开放的姿态和更加务实的行动，为培养新时代科技创新人才、推动信息技术产业发展作出新贡献。对于广大有志于投身信息技术领域的学子来说，这里无疑是一个值得报考的理想之地。