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

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