科研基地

國家可信嵌入式軟件工程技術研究中心

       國家可信嵌入式軟件工程技術研究中心于2013年經國家科技部批準建立,由中國電子科技集團第三十二研究所、華東師范大學共同組建,是國內以可信和嵌入式為關鍵技術的國家級工程研究中心。該中心以中電科32所“銳華”(Reworks)嵌入式操作系統產品和華東師范大學可信計算技術為基礎,形成可信嵌入式軟件行業規范與標準體系,實施面向可信嵌入式系統的形式化建模分析技術、系統設計與可信集成環境技術、可信度量體系與分析技術、仿真測試與驗證評估技術等共性技術研究和平臺開發,為嵌入式系統提供可信軟件工程技術支撐,提高重大裝備自主可控率,推動高端裝備行業全面發展。研究成果成功應用于軌道交通、汽車電子、核電控制、工業自動化、航空航天、軍事電子裝備等安全攸關領域。

 

可信軟件國際聯合研究中心

       可信軟件國際聯合研究中心2015年11月經科技部評審認定,這是繼教育部可信軟件國際合作聯合實驗室之后,我院可信軟件領域獲批的第二個省部級以上的國際交流合作基地。可信軟件國際聯合研究中心是由華東師范大學、法國高師集團、荷蘭萊頓大學、荷蘭國家數學與計算機中心、法國里昂LIP實驗室、法國雷恩IRISA實驗室等國際知名高校和研究所共同組建。旨在聯合國際優質資源,匯聚國際一流人才,可信軟件國際聯合研究中心的成立將為我院建設面向國際科技前沿、具有高水平科研開發與合作提供更好的研究平臺和更多的發展機遇。我們也將充分發揮我院可信軟件理論與應用的研究優勢,緊密協同國際國內合作單位,加強與其他國際合作基地的橫向聯系,優勢互補,不斷提高國際科技合作水平和學科創新實力。

 

軟硬件協同設計技術與應用教育部工程研究中心

       軟硬件協同設計技術與應用教育部工程研究中心于2007年10月獲教育部批準,2012年11月通過驗收。中國工程院盧錫城院士出任第一屆技術委員會主任, 中國科學院何積豐院士擔任第二屆技術委員會主任。“中心”以華東師范大學為依托,聯合上海嵌入式系統研究所,以及各相關企業和機構為伙伴,構建以應用導向的創新平臺。

       中心明確以軟硬件協同設計技術的研發以及在相關領域應用為目標,從事系統級軟硬件協同設計技術與應用,研發涉及物聯網以及云計算等信息領域現代研發高地, 除了在高可信芯片設計、軟硬件集成后的形式化驗證等領域取得了系統研究成果外, 還在智能傳感器網絡、車載信息采集OBD技術與產品、數字醫療、智慧校園、以及云媒體互動平臺等方面取得了具有知識產權可以進行成果轉化的研發成果。

 

教育部可信軟件國際合作聯合實驗室

       可信軟件國際聯合實驗室于2015年5月獲批籌建,由荷蘭萊登大學(Leiden University)、荷蘭國家數學和計算機科學研究院 (Research in Mathematics and Computer Science)、法國里昂高師并行計算實驗室 (Laboratory of Parallel Computing)、法國國家信息與自動化研究所 (National Institute for Research in Computer and Control)以及我校等單位共同組建。國際聯合實驗室將圍繞國家自主可控安全軟件產業的發展戰略,深入開展可信軟件理論、可信嵌入式系統、數據可信處理、信息安全這四個方向的研究。通過積聚國內外學術界與工業界的資源,在產出高水平科研成果的同時,培養高層次人才,促進可信軟件學科的發展,服務國內的戰略需求,推動可信軟件產業的發展,逐步把實驗室打造成為可信軟件領域國際一流的學研產中心。

 

上海市高可信計算重點實驗室

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

 

上海市可信物聯網軟件協同創新中心

       2012年6月獲上海市教育委員會批準籌建,2014年10月通過驗收獲得批準。中心主要圍繞國家科技戰略與產業振興在物聯網領域的規劃,結合上海市高新技術產業對物聯網基礎設施建設的需求,實施面向安全關鍵系統的物聯網軟件可信設計、產品實現與工程服務,成立產業聯盟,聚焦航空航天、汽車電子、智能交通、高端裝備制造、數字醫療、核電技術等重點領域,掌握一批核心關鍵技術及相關知識產權,推動產業組織方式創新,構建產學研的一體化平臺,以提升國家物聯網系統自主創新和差異化競爭能力,促進上海、長三角及國家的技術成果共享與轉化,為經濟結構調整和產業升級提供工程技術支撐。

 

上海工業控制系統安全創新功能型平臺

       上海工業控制系統安全創新功能型平臺正式成立于2018年1月,是上海市首批推動建設的18個研發與轉化功能型平臺之一,是支撐上海科技創新中心“四梁八柱”的重要創新力量。功能型平臺在市經信委、市科委等部門統籌和指導下,以工控安全技術引領,打造連接政府、上下游企業、科研院校、社會資本等相關主體的技術創新和產業生態服務平臺。

       上海工業控制安全創新科技有限公司作為功能型平臺的實體運行單位,是由普陀區政府、上海臨港經濟發展(集團)有限公司、華東師范大學、上海工業自動化儀表研究院有限公司共同注冊成立的國有控股企業。通過聚焦工控系統技術創新和成果產業化需求,協同既有存量技術平臺,形成涵蓋仿真驗證、監測預警、檢測評估、培訓咨詢等服務功能的公共平臺,聚合創新創業企業團隊,形成主題式產業園區,全面提升上海市工控安全領域核心能力。      

 

華東師范大學計算機理論研究所

       計算機理論研究所于2017年6月由計算機科學與軟件工程學院陳勇教授團隊建設。目前研究所主要圍繞非線性科學智能化、計算機符號計算和計算機科學理論開展研究,凝聚了多名高水平人才(擁有國家杰青、上海市青年科技啟明星、上海市閔行區領軍人才)。在物理、數學、光學、大氣海洋等各個學科領域中已取得重大進展,特別是在非線性可積系統基礎問題研究及其計算機算法實現方面取得了一系列重要進展并處于國際領先水平,發表了一大批高質量學術論文,開發了一系列非線性科學軟件,建立了非線性系統和計算機代數的智能化平臺,獲得了多項重點科研項目。我們也將充分發揮我們計算機科學和非線性科學多學科交叉的研究優勢,促進國際合作的廣度和深度,逐步把研究所打造成為國際一流的非線性科學和計算機代數的研發中心。

 

華東師范大學人工智能研究所

       華東師范大學人工智能研究所于2018年6月經華東師范大學校長辦公會批準成立。研究所定位于人工智能領域的基礎與前沿研究,特別是針對不確定性人工智能、概率模型與近似推理、模式識別與機器學習、優化、可信智能軟件、智能芯片等方面的關鍵理論與方法開展研究,并推進人工智能在智能醫療、工業控制等領域的應用。

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