華東師範大學軟件學院

華東師範大學創建於1951年，是中華人民共和國設立的第一所師範大學，是教育部直屬全國重點大學，是列入國家“211工程”、“985工程”重點建設的綜合性大學，是教育部“援疆學科建設計劃”40所重點高校之一，同時是國家“111計劃”和“長三角高校合作聯盟”的重要成員。華東師範大學與復旦大學、上海交通大學、同濟大學並稱上海“四大名校”。 ^[1] 

學院下設四個系，即軟件科學與技術系、數據科學與工程系、嵌入式軟件與系統系、密碼與網絡安全系，擁有上海市高可信計算重點實驗室、國家可信嵌入式軟件工程研究中心（籌）、教育部軟硬件協同設計技術與應用工程研究中心、教育部可信軟件國際合作聯合實驗室（籌）、上海市可信物聯網軟件協同創新中心等學科基地，設有數據科學與工程研究院、密碼與安全研究中心等研究基地。此外，經國家外國專家局批准，國家軟件人才國際培訓基地(上海)、國家對日軟件人才培訓基地也均在我院落户。

學院近年來發展迅速，擁有教職工100餘人；其中，中國科學院院士1人，國家傑青3人，教育部跨世紀人才培養計劃入選者2名，上海市曙光學者1名，上海市優秀學科帶頭人1名，上海市青年科技啓明星4名，霍英東教育基金會青年教師獎1名，正高25人、副高38人，同時擁有海內外著名高校兼職教授10餘名以及國家自然科學基金委創新研究羣體1個。目前，學院擁有全日制在讀學生1000餘人；其中，本科生700餘人，雙證碩士研究生200餘人，博士研究生70餘人。

學院主持和參與的科研項目累計達100餘項，涵蓋973、863、國家自然科學基金委等重點項目。聚焦安全攸關自主可控軟件系統的應用，對接國家和上海市的軟件領域的重大應用需求，為行業企業提供知識服務。 ^[2] 

軟件學院院長 何積豐 中國科學院院士

黨委書記 李 愷 教授

常務副院長張桂戌 教授

常務副院長 王長波 教授

黨委副書記、副院長 洪燕

副院長 姜寧康 教授

副院長王曉玲 教授

副院長 蒲戈光教授 ^[3] 

學術型研究生培養

^[4] 

學院擁有軟件工程一級學科博士點，招收軟件工程專業的博士和學術型碩士（雙證，全日制）研究生。依託學院在軟件工程理論、海量數據處理、可信嵌入式軟件、軟件服務工程、程序驗證等方向的研究實力，培養具有服務國家基礎戰略研究事業胸懷、獨立的研究創新能力和專業可持續發展潛力、參與國際學術競爭能力的碩士和博士研究生。

學院已經規劃和實施了以優秀研究生培養為核心的研究生培養體系，將紮實的專業理論基礎和學術品德與能力訓練貫穿研究生教育過程。學院創造了良好的科研條件和創新氛圍，為研究生提供各種學術資源和交流機會，先後與新加坡國立大學、德國多特蒙德大學簽訂了聯合培養研究生的協議，有多名研究生赴法國、新加坡、美國留學交流。研究生也通過參與學院組織的國際會議、學術交流等活動與國際國內的大師人物探討交流，拓寬國際視野。

學術型研究生招生規模逐步擴大，現有博士生48人，碩士生91人。博士研究生和碩士研究生在學期間參與了各種973項目、863項目、國家自然科學重點基金項目的研究，在國內外學術期刊和重要學術會議上發表了高水平學術論文。

學院擁有一批學術造詣深厚、教學科研突出的教師隊伍，包括2名院士、2名國家傑青、2名上海優秀學科帶頭人、2名曙光學者、3名青年科技啓明星、1名浦江人才。現有教授20人(含兼職)，副教授26人，具有博士學位的超過80%。正形成以學科帶頭人為先導，以精品團隊為基石的結構合理的學術梯隊在內的優秀指導教師隊伍。目前有博士生導師15人(何積豐、林學民、周傲英、陳豪、陳儀香、陳勇、曾振柄、劉靜、鬱文生、朱明華、朱惠彪、王曉玲、劉海濤、高建華（兼職）、邢濤（兼職）)，碩士生導師39人。

專業學位研究生培養

^[5] 

軟件工程碩士是學院人才培養工作的重要組成部分。軟件工程碩士招生和培養過程中，學院始終遵循嚴格、規範、有序，適度的原則，注重招生質量，強化教學管理，形成了一整套規範的招生及教學管理規章制度，保證了人才培養的質量。

在工程碩士課程設置及教學組織上，學院從美國一流工程研究院引進軟件工程碩士專業的培養方案和核心課程。同時，學院加強雙語教學，直接採用優秀英文原版教材，聘請國外教授來我院講課、講學。學院已向社會輸送了一大批有創新精神和工程實踐能力的高素質、複合型、國際化的軟件人才。

軟件工程碩士（全日制，雙證）培養應用型、複合式高層次工程技術和工程管理人才。開設了軟件工程和服務工程兩個專業方向。採用全日制學習方式，系統的課程學習和工程實踐相結合的培養方式，學習年限一般為2.5年。

軟件工程碩士（在職，單證）入學採用自主命題、自主考試、自主錄取的方式選拔，開設了軟件工程、現代教育工程、電子政務、服務工程等專業方向，培養過程實行學分制，學生被允許在2.5-5年內完成學業，修滿教學計劃規定學分並通過論文答辯後，授予軟件工程專業碩士學位。

軟件工程專業

^[6] 

軟件工程專業(軟件工程方向)

本專業借鑑國外軟件人才培養的經驗，結合我國IT發展的實際需求，以高質量軟件開發為指導思想，培養基礎紮實、有良好的軟件工程觀念、具備大中型軟件的開發能力，以及軟件項目管理技能的國際化軟件工程專門人才。

學院利用國外教材或國內新出版的教材組織教學，除基礎課外，開設程序設計語言、離散數學、數據結構與算法、數字邏輯與計算機組成、計算機網絡、操作系統、編譯原理等計算機科學與技術專業的核心課程，還開設軟件需求、面向對象分析和設計、軟件測試和質量保證、軟件過程與項目管理，以及軟件規範語言等以軟件工程和軟件過程為主線的課程。另外，提供數字娛樂等面向應用的選修課程、系列講座及藝術鑑賞等人文與交叉學科課程，並強化英語、日語兩門外語課的教學。

軟件工程專業(嵌入式系統方向)

本專業以軟件工程專業為依託，培養掌握嵌入式系統開發的一般方法，具有嵌入式系統硬件設計和軟件開發能力，以及具有嵌入式系統項目管理能力的高級應用技術型人才。

嵌入式系統軟件的課程設置以軟件工程專業的核心課程為基礎，充分體現嵌入式系統軟件課程的特色。以實時操作系統為核心，嵌入式系統概論、ARM體系結構與編程、數字邏輯與計算機組成、計算機網絡、設備驅動程序、無線傳感器網絡和嵌入式系統設計等為課程主線，構成嵌入式系統軟件一體化的教學模式。通過校企合作共建課程、實際應用案例剖析以及系列講座等方式，強化嵌入式系統軟件的實踐教學。

985創新平台建設

^[7] 

2006年，華東師範大學建設985高可信計算創新平台。本項目立足我國與國計民生密切相關的關鍵應用領域，以軟件可信性問題為主攻目標，分析、研究和解決相關科學問題，構建可信系統設計、驗證與測試平台，在嵌入式軟件等領域開展示範應用，為改善國家安全攸關重大工程的軟件可信性提供科學支撐。

平台下一階段建設將重點以可信計算所涉及的新理論、新結構、新方法和新技術為突破口，力圖在高可信計算理論、高可信軟件構造平台以及高可信計算應用等方面取得創新性成果。具體體現在：將現有的計算基礎理論進行整合，使之成為可信計算的基礎理論，包括程序統一理論、高可信計算的總體架構與形式化方法和可信計算算法理論與複雜性理論；在建立可信計算的基礎理論基礎上，構建可信軟件的構造平台，包括軟件可信度量工具與方法、面向語言的可信計算模型與開發平台以及程序終止驗證器與程序證明工具。其顯著性在於用概論統計理論與方法、邏輯推理、符號計算來研究程序的正確性、終止性、可靠性等可信性屬性；將可信計算的研究成果，用於航空航天、金融、醫療衞生等有關國家安全與國民身體健康等重要領域。這裏包括海量信息處理、嵌入式軟件及其他安全攸關領域。

211建設

^[8] 

本項目研究信息系統的可信性理論與關鍵開發技術，力圖在關鍵應用領域控制系統、海量信息系統、複雜網絡軟件等三個方面的可信性展開研究並取得創新性成果。具體研究內容如下：

1、關鍵應用領域的信息控制系統的可信性研究；

2、可信海量信息系統理論及開發技術研究；

3、複雜網絡信息系統可信性理論與質量保障方法。

本項目建設目標是通過軟件可信性理論和開發技術的研究，建設信息科學領域國內領先，國際有影響的一流學科，形成包含關鍵控制軟件、海量信息獲取分析以及複雜網絡軟件的可信性理論等方面一整套的技術解決方案。本項目將立足國家發展規劃中的航天、金融等關鍵領域，解決信息系統理論與應用的關鍵問題，為國民經濟建設和國防安全提供可靠的技術保障。

我們將通過承擔國家的重大科研項目和與世界一流大學、研究所進行合作，在可信計算領域建成一支優秀的創新團隊，和具有鮮明特色的國際一流科學研究、人才培養基地和學術交流中心。

上海市重點學科

計算機軟件與理論是華東師範大學重點建設的學科之一，是國家“十五”211重點建設學科以及華東師範大學高可信計算“985工程”科技創新平台的依託學科。本學科經過幾十年的發展已經具備了很好的研究基礎，在國內外有很大的影響。華東師範大學是我國最早倡導和開展可信計算研究的單位之一，特別地，何積豐院士提出的“程序統一理論”是可信計算的研究基礎理論。已經形成了國際領先的學科框架——程序統一理論、軟硬件協同設計、自動推理與符號計算、海量信息處理等基礎和應用研究相結合的多學科交叉、以解決軟件基礎理論和關鍵技術為目標的完整學科體系。本學科以解決國家經濟、國防以及上海經濟和社會建設中計算機科學中的軟件理論與技術，積極承擔國家重大基礎研究項目和上海重點項目為強勢。主要研究方向為高可信計算理論、自動推理與符號計算、海量信息計算 ^[9]  。

本學科將以滿足國家、航天、軍隊以及上海市重點產業的計算機軟件技術，特別可信計算技術、符號計算以及海量數據處理的需求，順應軟件科學與技術及其應用的國內外發展趨勢為準則，營造開放、流動、聯合、競爭的學術和研究環境，為研究人員創造力和創新力的充分發揮提供必要的保證。本學科堅持對計算機軟件與理論的前沿性、尖端性以及應用性等科學問題進行創新性研究與開發，積極承擔政府和社會與可信計算、符號計算以及海量計算等研究領域及其相關方面的科研任務，大力促進和推動國內外學術交流和合作，培養優秀的研發人才。經過3－5年建設，將本學科建設成為高可信計算、自動推理與符號計算、以及海量信息處理等領域的學術研究、交流以及高科技人才培養的產學研重要基地，形成若干研究方向具有競爭力的研究團隊。以建設成國家重點學科為目標，成為世界知名的計算機軟件與理論研究、開發和應用中心.

科學研究

^[10] 

學院以985高可信計算創新平台為基礎，大力推進基地建設工作，着力建設好上海市高可信計算重點實驗室和教育部軟硬件協同設計中心。

上海市高可信計算重點實驗室 2007年12月獲准籌建上海市高可信計算重點實驗室，建立了成熟的研究隊伍（擁有中國科學院院士1人、國家傑青2人、國家自然科學二等獎獲得者2人、上海市青年科技啓明星3人、上海曙光學者2人、教授18人、博士生導師15人），承擔了國家973項目6項、863項目6項（其中軍口項目2項）、國家自然基金項目21項，上海市科委研究項目12項，部委項目4項。上海市高可信計算重點實驗室在2009年7月順利通過驗收會，實驗室在高可信計算理論、可信軟件構造平台、可信計算應用等三個研究方向上取得了顯著成績，凝聚了高水平人才，發表了一批高質量的學術論文，獲得了多項重點科研項目，共主辦了八次國際學術會議，學術交流活躍，並按照實驗室“開放、流動、聯合、競爭”的運行機制，積極開展航天、海洋、金融等領域相關的可信計算應用研究。

教育部軟硬件協同設計與應用工程研究中心 2007年11月獲批成立軟硬件協同設計與應用教育部工程研究中心，明確以軟硬件協同設計技術及應用為目標，確立以現代交通可信計算研究與應用、數字娛樂、社區醫療設備等研發重點，項目調研與申請、聯合機構建設、隊伍建設等方面的工作有序開展：與上海計算機軟件技術開發中心共同建設“上海嵌入式系統應用工程技術研究中心”；與上海計算技術研究所成立了無線傳感器網絡聯合實驗室，共同進行無線傳感器網絡的課題申請、研究；與中科院上海微系統所成立了可信無線傳感器網絡聯合實驗室。

三個研究所：

（1）計算機理論研究所： 華東師範大學計算機理論研究所成立於2004年9月，中國科學院院士、著名計算機科學家何積豐教授是創建負責人。我國著名計算機科學家、數學家楊路教授擔任研究所所長。華東師範大學計算機理論研究所現有專職科研人員17名、兼職科研人員5名，其中教授14名、副教授3名。

計算機理論研究所承擔了多項國家科研項目，包括國家973項目、國家863項目、國家自然科學基金重大研究計劃項目、國際合作、國家自然科學基金項目等。為了進一步擴大計算機理論研究所的學術影響力，研究所舉辦了一系列國際學術會議，包括TASE07、TASE08、TASE09、TASE10、ICFEM1、計算機在科學發現中的作用第四次國際學術會議、第一屆信息計算和軟件基礎國際會議、第一屆計量邏輯與程序量化國際學術會議、第五屆Domain理論國際會議等。

研究所曾邀請計算機圖靈獎獲得者C.A.R. Hoare、J. Sifakis等國內外知名學者來訪交流。研究所還定期舉辦學術報告會以及系列學術講座，以求加強學術交流以及培育新的研究方向和研究領域。幾年來，研究所成員多次在國際重要期刊、國際學術會議上發表了多篇學術論文，在國際、國內學術會議上作大會特邀報告。研究所以“形成一個在國際上有影響力的計算機理論研究中心、一個積極創新的學術交流中心和一個具有吸引力的高級研究人才培養中心”為發展目標。

（2）海量計算機研究所：海量計算研究所（Institute of Massive Computing，IMC）成立於2007年1月。研究所致力於數據密集型計算的前端技術與應用的研究，由特聘教授周傲英任所長。研究所現有科研人員7人。研究所的工作重點包括Web數據管理、無共享系統中的數據分析、可信數據管理、基於位置的服務、面向服務的數據管理等研究問題。同時，研究所也積極探索這些技術在集羣行為監控與分析、推薦系統、互聯網廣告等現實問題中的應用。研究所承擔了多項國家973、863、自然科學基金，上海市浦江人才計劃和啓明星計劃的科研項目。

(3）上海嵌入式系統研究所：上海嵌入式系統研究所成立於2003年，由中國科學院院士、著名計算機科學家何積豐教授任所長。研究所以嵌入式設計和高可信軟件為核心技術，以聯合設計、委託設計、獨立研發等服務模式與廣大企業、研究機構進行合作。

承擔了國家重大科技專項、國家973計劃、國家863計劃、國家自然科學基金、部委級科研項目等50餘項 ^[11]  。