面對未來的智能世界，軟件是核心更是基礎(chǔ)。“C++之父”本賈尼·斯特勞斯特盧普提出“軟件定義世界”的觀點(diǎn)。而首都師范大學(xué)信息工程學(xué)院“可信軟件工程”團(tuán)隊(duì)在可信軟件與人工智能人才培養(yǎng)和前沿科學(xué)研究領(lǐng)域深耕多年，瞄準(zhǔn)關(guān)鍵基礎(chǔ)軟件自主可控的國家需求，聚焦產(chǎn)學(xué)研一體化賦能和科技成果轉(zhuǎn)化，為推動“新質(zhì)生產(chǎn)力”發(fā)展作出貢獻(xiàn)。

自2008年起，信息工程學(xué)院“可信軟件工程”團(tuán)隊(duì)在工程數(shù)學(xué)形式化和機(jī)器人操作系統(tǒng)驗(yàn)證方面，團(tuán)隊(duì)取得具有國際影響力的研究成果。他們研發(fā)的國內(nèi)規(guī)模最大的數(shù)學(xué)理論定理證明程序庫，不僅在國內(nèi)首屈一指，還得到了國際主流定理證明器HOL4和HOL Light的認(rèn)可與發(fā)布，為我國軟件工程的自主創(chuàng)新發(fā)展奠定基礎(chǔ)。

值得一提的是，該團(tuán)隊(duì)在國際上率先提出基于幾何代數(shù)、分析動力學(xué)理論的機(jī)器人運(yùn)動學(xué)和動力學(xué)形式化建模理論，并出版了四本專著，成為國際上在該領(lǐng)域研發(fā)工程數(shù)學(xué)形式化定理證明程序庫最多的團(tuán)隊(duì)之一。同時，該團(tuán)隊(duì)還積極響應(yīng)國家產(chǎn)業(yè)發(fā)展需求，積極踐行產(chǎn)學(xué)研融合發(fā)展理念，承擔(dān)了科技部、航天院所、華為、上海商飛等眾多攻關(guān)項(xiàng)目，將科研成果轉(zhuǎn)化為實(shí)際生產(chǎn)力，為推動“新質(zhì)生產(chǎn)力”的發(fā)展作出了重要貢獻(xiàn)。

而這些優(yōu)異的科研成就，也正是首師信息工程學(xué)院科研實(shí)力的一個縮影。作為該校唯一的工科學(xué)院，信息工程學(xué)院現(xiàn)設(shè)有人工智能（師范）、人工智能、計(jì)算機(jī)科學(xué)與技術(shù)、電子信息工程四個本科專業(yè)。其中，人工智能（師范）和人工智能專業(yè)是在人工智能上升為國家戰(zhàn)略的背景下，全國第二批新增的特色專業(yè)；計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)則為北京市特色專業(yè)，為學(xué)生提供了廣闊的發(fā)展空間。

而在人才培養(yǎng)方面，該學(xué)院以“第一班主任”制度為平臺，以“輔導(dǎo)員-班主任（導(dǎo)師）”協(xié)同育人工作模式為實(shí)踐，用心用情地培養(yǎng)人才。同時，該學(xué)院還設(shè)立了各類面向本科生的科研項(xiàng)目，將競賽和科研融入專業(yè)學(xué)習(xí)。如2020級本科生邱宇軒通過參與導(dǎo)師團(tuán)隊(duì)的研究學(xué)習(xí)，不僅在學(xué)術(shù)上取得顯著進(jìn)步，還發(fā)表了兩篇高水平學(xué)術(shù)論文，并獲得2024年校長獎學(xué)金一等獎，保研至本校繼續(xù)深造。

此外，該學(xué)院還積極與企業(yè)合作，共簽約13家實(shí)踐基地，為學(xué)生提供豐富的實(shí)習(xí)實(shí)踐機(jī)會。學(xué)子們在實(shí)習(xí)過程中能夠逐步了解社會所需，運(yùn)用自己的專業(yè)知識解決實(shí)際問題。

多年來，首師該畢業(yè)生就業(yè)前景廣闊，多數(shù)畢業(yè)生在北京知名互聯(lián)網(wǎng)企業(yè)、國企、政府部門等就業(yè)；師范生則主要在北京市重點(diǎn)中學(xué)及教育管理等部門就業(yè)。學(xué)院連續(xù)多年被評為就業(yè)先進(jìn)單位，每年有超過30%的畢業(yè)生到國內(nèi)外知名高校和科研院所攻讀研究生學(xué)位，約6%的學(xué)生獲得免試推薦研究生的資格。

隨著信息技術(shù)的不斷發(fā)展和創(chuàng)新應(yīng)用的不斷涌現(xiàn)，首都師范大學(xué)信息工程學(xué)院深耕可信軟件工程領(lǐng)域，探索人工智能創(chuàng)新實(shí)踐型人才培養(yǎng)模式，以更加開放的姿態(tài)和更加務(wù)實(shí)的行動，為培養(yǎng)新時代科技創(chuàng)新人才、推動信息技術(shù)產(chǎn)業(yè)發(fā)展作出新貢獻(xiàn)。對于廣大有志于投身信息技術(shù)領(lǐng)域的學(xué)子來說，這里無疑是一個值得報考的理想之地。