軟件所推免生補錄通知
文章來源： | 發布時間：2018-09-29 | 【打印】 【關閉】
各位推免生：
我所現空出部分推免指標，計劃于國慶節后進行第三批推免生面試，補錄一批碩士生。有意來中科院軟件所攻讀碩士學位的具有推薦免試資格的學生，請與有關部門的老師聯系，通過初審后按各部門規定的時間參加面試。
2018.9.29
推免生補錄信息
| 部門 | 研究方向代碼及名稱 | 指導教師 | 補錄 人數 | 聯系地址 |
| 計算 機科 學國 家重 點實 驗室 | 軟件設計與分析方法、新型計算模型與應用 | 陳海明 | 2 | chm@ios.ac.cn |
| 并發理論與應用、并發系統分析與驗證 | 焦 莉 | ljiao@ios.ac.cn | ||
| 程序分析與驗證 | 詹乃軍、吳志林、李勇堅 | znj@ios.ac.cn | ||
| 概率模型驗證與分析 | 張立軍 | zhanglj@ios.ac.cn | ||
| 混成系統安全性驗證 | 薛 白 | xuebai@ios.ac.cn | ||
| 計算機圖形學與虛擬現實 | 王文成 | whn@uscas.ac.cn | ||
| 程序分析與軟件測試 | 張震宇 | |||
| 基礎軟件國家 工程研究中心 | 軟硬件深度融合 | 楊秋松、馬恒太、李文波等 | 3 | wenbo@nfs.iscas.ac.cn |
| 軟件分析與系統安全 | 李明樹、賀也平 | |||
| 軟件 工程 中心 | 網絡分布計算理論與技術 | 黃濤、金蓓弘等 | 4 | yedan@otcaix.iscas.ac.cn |
| 分布式軟件理論與技術 | 鐘華、魏峻、 葉丹等 | |||
| 智能 軟件 研究 中心 | 智能基礎理論與系統，智能系統軟件 | 趙 琛、武延軍 | 2 | jiran@iscas.ac.cn |
| 軟件與智能系統安全性 | 薛云志、吳敬征 | |||
| 智能計算編譯工具鏈 | 李 玲 | |||
| 人機交互 | 人機交互，實時智能 | 王宏安、喬穎 | 1 | cuixia@iscas.ac.cn |
