軟件工程專業
發布時間:2014-12-24  閱讀次數:12571

★ 軟件科學與技術系(非師范)

本專業面向國家自主可控軟件產業發展的戰略需求,針對當前智能系統、信息物理融合系統,云計算等主流新型計算形態下的軟件設計與開發,從可信軟件基礎理論,如程序語言理論、程序分析和形式化驗證技術;復雜系統如信息物理融合系統等系統軟件的設計與開發共性技術;面向安全攸關領域如軌道交通、汽車電子、智慧城市、人工智能安全等的可信軟件開發與應用等三個方向全方位展開深入研究。借助專業團隊在可信計算領域的科研優勢,依托上海市高可信計算重點實驗室、教育部可信計算國際聯合實驗室以及國家可信軟件國際聯合研究中心等科研與學生培養基地,以高可信軟件設計和開發為核心,強調數學、概率統計與數理邏輯等基礎理論能力、重視軟件全周期開發,系統架構設計等實踐能力,通過“產、學、研”一體化培養體系,培養理論基礎扎實、實踐能力突出、具有國際視野的高端軟件人才。

 

★ 嵌入式軟件與系統系(非師范)

本專業方向以滿足囯家和社會對智能系統與智能制造的科學與工程戰略需求,在智能信息物理融合系統、工業互聯網、邊緣計算等領域,展開系統應用開發和開創性基礎研究,包括可信智能系統的共性技術、方法與環境,如智能系統的設計自動化技術、智能軟硬件協同設計方法、智能可信度量與評估方法、智能信息物理融合系統的形式化驗證與測試技術以及智能軟件開發環境;構建囯際領先的可信智能軟件開發工具環境和集成平臺,并在航空航天、汽車電子、智能交通、智慧農業、數字健康與教育等領域展開示范應用,推動國家自主可控安全智能制造產業的進一步發展。

 

★ 密碼與網絡安全系(非師范)

本專業方向面向國家網絡空間安全戰略需求,致力于密碼學理論、網絡安全、系統安全及各類數字安全等關鍵技術的科學研究和專業人才培養,重點圍繞網絡安全和信息安全開展前沿理論和工程化應用研究,著力培養研究型、工程型人才,為推進國家安全信息化發展及上海市科創中心建設提供核心技術支撐。本專業是全國最早倡導和開展網絡空間安全的研究單位,擁有一支高水平的教學科研團隊。

華東師范大學軟件工程學院
www.hgmxbc.live Copyright Software Engineering Institute
院長信箱:[email protected] | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
江西快3一定牛