| 計算機科學國家重點實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 林惠民 | 博導 | 計算機科學與技術 | 網絡與并發實時系統的設計與分析、形式化方法 | lhm(AT)ios.ac.cn | |
| 張健 | 博導 | 計算機科學與技術、軟件工程 | 自動推理與約束求解，程序分析與軟件測試 | zj(AT)ios.ac.cn | |
| 沈一棟 | 博導 | 計算機科學與技術 | 數據挖掘與人工智能 | ydshen(AT)ios.ac.cn | |
| 王文成 | 博導 | 計算機科學與技術、軟件工程 | 計算機圖形學與可視計算，虛擬現實與圖像編輯 | whn(AT)ios.ac.cn | |
| 陳彥云 | 博導 | 計算機科學與技術 | 計算機圖形學 | chenyy(AT)ios.ac.cn | |
| 張文輝 | 博導 | 計算機科學與技術 | 并發系統分析與驗證 | zwh(AT)ios.ac.cn | |
| 陳海明 | 博導 | 計算機科學與技術、軟件工程 | 軟件設計與分析方法，新型計算模型與應用 | chm(AT)ios.ac.cn | |
| 焦莉 | 博導 | 計算機科學與技術 | 并發理論與形式化方法 | ljiao(AT)ios.ac.cn | |
| 柳欣欣 | 博導 | 計算機科學與技術 | 形式化方法 | xinxin(AT)ios.ac.cn | |
| 詹乃軍 | 博導 | 計算機科學與技術 | 嵌入式系統、程序驗證、形式化方法 | znj(AT)ios.ac.cn | |
| 張立軍 | 博導 | 計算機科學與技術 | 模型檢測、形式化方法、神經網絡模型分析 | zhanglj(AT)ios.ac.cn | |
| 蔡少偉 | 博導 | 計算機科學與技術 | 約束求解，EDA算法 | caisw(AT)ios.ac.cn | |
| Georgios Barmpalias | 博導 | 計算機科學與技術 | 計算理論，數理邏輯，社會網絡和離散動力系統 | barmplias(AT)ios.ac.cn | |
| 李勇堅 | 碩導 | 計算機科學與技術、軟件工程 | 硬件、協議形式化驗證，定理證明 | lyj238(AT)ios.ac.cn | |
| 張震宇 | 碩導 | 軟件工程 | 軟件測試與分析 | zhangzy(AT)ios.ac.cn | |
| 吳鵬 | 碩導 | 軟件工程 | 多核并發軟件驗證與測試，智能系統分析與測試 | wp(AT)ios.ac.cn | |
| 呂毅 | 碩導 | 計算機科學與技術 | 多核環境下并發程序的驗證與分析 | lvyi(AT)ios.ac.cn | |
| 吳志林 | 博導 | 計算機科學與技術 | 軟硬件系統形式驗證，計算邏輯，自動機理論 | wuzl(AT)ios.ac.cn | |
| 劉學慧 | 碩導 | 計算機科學與技術 | 計算機圖形學 | lxh(AT)ios.ac.cn | |
| 夏盟佶 | 博導 | 計算機科學與技術 | 算法與計算復雜性 | mingji(AT)ios.ac.cn | |
| 蔡彥 | 博導 | 軟件工程 | 程序分析與測試，軟件安全 | yancai(AT)ios.ac.cn | |
| 朱雪陽 | 碩導 | 軟件工程 | 嵌入式系統設計、形式化方法 | zxy(AT)ios.ac.cn | |
| 薛白 | 碩導 | 計算機科學與技術 | 混成系統及AI系統形式驗證 | xuebai(AT)ios.ac.cn | |
| 詹博華 | 碩導 | 計算機科學與技術 | 形式化方法 | bzhan(AT)ios.ac.cn | |
| 侯飛 | 碩導 | 計算機科學與技術 | 計算機圖形學與虛擬現實 | houfei(AT)ios.ac.cn | |
| 王淑靈 | 碩導 | 計算機科學與技術 | 嵌入式系統建模與驗證 | wagnsl(AT)ios.ac.cn | |
| 晏榮杰 | 碩導 | 軟件工程 | 智能系統的分析與測試 | yrj(AT)ios.ac.cn | |
| 應圣鋼 | 碩導 | 計算機科學與技術 | 量子計算，量子程序 | yingsg(AT)ios.ac.cn | |
| 李楊佳 | 碩導 | 計算機科學與技術 | yagnjia(AT)ios.ac.cn | ||
| 陳世騰 | 碩導 | 計算機科學與技術 | chenst(AT)ios.ac.cn | ||
| 可信計算與信息保障實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 馮登國 * | 博導 | 網絡空間安全 | 可信計算與信息保障 | fengdg(AT)263.net | |
| 吳文玲 | 博導 | 網絡空間安全 | 可信計算與信息保障 | wenling(AT)iscas.ac.cn | |
| 張振峰 | 博導 | 網絡空間安全，軟件工程 | 可信計算與信息保障 | zhenfeng(AT)iscas.ac.cn | |
| 蘇璞睿 | 博導 | 網絡空間安全，軟件工程 | 可信計算與信息保障 | purui(AT)iscas.ac.cn | |
| 徐靜 | 博導 | 網絡空間安全 | 可信計算與信息保障 | xujing(AT)iscas.ac.cn | |
| 張斌 | 博導 | 網絡空間安全 | 可信計算與信息保障 | zhangbin(AT)iscas.ac.cn | |
| 連一峰 | 博導 | 網絡空間安全 | 可信計算與信息保障 | yifeng(AT)iscas.ac.cn | |
| 張敏 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | zhangmin(AT)iscas.ac.cn | |
| 張陽 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | zhangyang(AT)iscas.ac.cn | |
| 陳華 | 博導 | 網絡空間安全 | 可信計算與信息保障 | chenhua(AT)iscas.ac.cn | |
| 張立武 | 博導 | 網絡空間安全 | 可信計算與信息保障 | liwu(AT)iscas.ac.cn | |
| 秦宇 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | qinyu(AT)iscas.ac.cn | |
| 程亮 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | chengliang(AT)iscas.ac.cn | |
| 范麗敏 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | fanlimin(AT)iscas.ac.cn | |
| 張蕾 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | zhanglei(AT)iscas.ac.cn | |
| 張穎君 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | yingjun(AT)iscas.ac.cn | |
| 閆佳 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | yanjia(AT)iscas.ac.cn | |
| 馮偉 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | fengwei 2009(AT)iscas.ac.cn | |
| 李昊 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | lihao(AT)iscas.ac.cn | |
| 楊軼 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | yangyi(AT)iscas.ac.cn | |
| 和亮 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | heliang(AT)iscas.ac.cn | |
| 白琨鵬 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | baikunpeng(AT)iscas.ac.cn | |
| 楊晨 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | yangchen(AT)iscas.ac.cn | |
| 張海霞 | 碩導 | 網絡空間安全 | 可信計算與信息保障 | haixia(AT)iscas.ac.cn | |
|
|
|||||
| 并行軟件與計算科學實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 李玉成 | 碩導 | 計算機科學與技術 | 并行軟件與計算科學 | yucheng(AT)iscas.ac.cn | |
| 曹建文 | 博導 | 計算機科學與技術 | 并行算法與高性能計算 | caojianwen(AT)gmail.com | |
| 李會元 | 博導 | 計算機科學與技術 | 并行算法與并行軟件 | huiyuan(AT)iscas.ac.cn | |
| 姚繼峰 | 碩導 | 計算機科學與技術 | 并行算法與軟件，海量數據處理 | jifeng(AT)iscas.ac.cn | |
| 王婷 | 碩導 | 計算機科學與技術 | 并行計算，高性能計算，性能優化 | wangting(AT)iscas.ac.cn | |
| 馬菲菲 | 博導 | 計算機科學與技術 | 自動推理、約束求解 | maff(AT)ios.ac.cn | |
| 張常有 | 博導 | 計算機科學與技術 | 并行與分布式軟件 | changyou(AT)iscas.ac.cn | |
| 馬文靜 | 碩導 | 計算機科學與技術 | 并行計算，高性能計算，并行代碼生成與優化 | wenjing(AT)iscas.ac.cn | |
| 陳峰 | 碩導 | 軟件工程 | 大數據，區塊鏈 | chenfeng(AT)iscas.ac.cn | |
| 劉芳芳 | 碩導 | 計算機科學與技術 | 高性能擴展數學庫，稀疏迭代解法器，異構眾核并行 | fangfang(AT)iscas.ac.cn | |
| 張婭 | 碩導 | 計算機科學與技術 | 計算數學，并行計算 | zhangya(AT)iscas.ac.cn | |
| 牛樹梓 | 碩導 | 計算機科學與技術 | 機器學習，信息檢索 | shuzi(AT)iscas.ac.cn | |
| 趙海濤 | 碩導 | 計算機科學與技術 | 并行軟件 | haitao(AT)iscas.ac.cn | |
| 黎雷生 | 碩導 | 計算機科學與技術 | 高性能大規模并行計算，科學與工程計算，復雜異構計算系統性能優化 | leisheng(AT)iscas.ac.cn | |
| 孫喬 | 碩導 | 計算機科學與技術 | 并行計算 | sunqiao8964(AT)qq.com | |
| 白延成 | 碩導 | 計算機科學與技術 | 機器學習，深度學習 | yangchao(AT)iscas.ac.cn | |
| 基礎軟件國家工程研究中心 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 李明樹 | 博導 | 計算機科學與技術、軟件工程 | 博士：新型操作系統和系統安全 碩士：軟硬件深度融合 |
mingshu(AT)admin.iscas.ac.cn | |
| 楊秋松 | 博導 | 軟件工程 | 博士：軟硬件深度融合 碩士：新型操作系統和系統安全 |
qiusong(AT)iscas.ac.cn | |
| 李文波 | 碩導 | 計算機科學與技術 | 操作系統 | wenbo(AT)iscas.ac.cn | |
| 芮建武 | 碩導 | 軟件工程 | 軟硬件深度融合 | rjw(AT)iscas.ac.cn | |
| 陶秋銘 | 碩導 | 軟件工程 | 操作系統 | qiuming(AT)iscas.ac.cn | |
| 翟健 | 碩導 | 計算機科學與技術 | 軟硬件深度融合 | zhaijian(AT)iscas.ac.cn | |
| 馬恒太 | 碩導 | 軟件工程 | 操作系統 | hengtai(AT)iscas.ac.cn | |
| 馬越 | 碩導 | 計算機科學與技術 | 軟硬件深度融合 | mayue(AT)iscas.ac.cn | |
| 慈軼為 | 碩導 | 計算機科學與技術 | 軟硬件深度融合 | yiwei(AT)iscas.ac.cn | |
| 中文信息處理實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 孫樂 | 博導 | 計算機科學與技術 | 自然語言處理 | sunle(AT)iscas.ac.cn | |
| 韓先培 | 博導 | 計算機科學與技術 | 自然語言處理 | xianpei(AT)iscas.ac.cn | |
| 馬龍龍 | 碩導 | 計算機科學與技術 | 自然語言處理 | longlong(AT)iscas.ac.cn | |
| 互聯網軟件技術實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 王青 | 博導 | 軟件工程 | 博士：智能軟件工程 碩士：智能軟件工程，軟件眾包服務 |
wq(AT)iscas.ac.cn | |
| 胡軍 | 碩導 | 軟件工程 | 知識圖譜與云計算 | hujun(AT)iscas.ac.cn | |
| 王俊杰 | 碩導 | 軟件工程 | 智能軟件工程 | junjie(AT)iscas.ac.cn | |
| 石琳 | 碩導 | 軟件工程 | 智能需求工程 | shilin(AT)iscas.ac.cn | |
| 王丹丹 | 碩導 | 軟件工程 | 智能軟件工程 | dandan(AT)iscas.ac.cn | |
| 人機交互技術與智能信息處理實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 王宏安 | 博導 | 計算機科學與技術 | 人機交互、實時智能 | hongan(AT)iscas.ac.cn | |
| 田豐 | 博導 | 計算機科學與技術 | 人機交互 | tianfeng(AT)iscas.ac.cn | |
| 喬穎 | 博導 | 計算機科學與技術 | 實時智能、人機交互 | qiaoying(AT)iscas.ac.cn | |
| 馬翠霞 | 博導 | 軟件工程 | 人機交互、可視媒體智能處理 | cuixia(AT)iscas.ac.cn | |
| 陳輝 | 博導 | 軟件工程 | 人機交互 | chenhui(AT)iscas.ac.cn | |
| 鄧小明 | 碩導 | 軟件工程 | 計算機視覺、人機交互 | xiaoming(AT)iscas.ac..cn | |
| 朱嘉奇 | 碩導 | 軟件工程 | 互聯網信息挖掘，人機混合智能 | zhujq(AT)ios.ac..cn | |
| 何小偉 | 碩導 | 軟件工程 | 計算機圖形學、物理仿真、人機交互 | xiaowei(AT)iscas.ac..cn | |
| 韓騰 | 碩導 | 計算機科學與技術 | 人機交互、虛擬現實 | hanteng(AT)iscas.ac..cn | |
| 冷昶 | 碩導 | 計算機科學與技術 | 實時智能、實時系統 | lengchang(AT)iscas.ac..cn | |
| 軟件工程技術研究開發中心 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 黃濤 | 博導 | 計算機科學與技術，軟件工程 | 網絡分布計算理論與技術，分布式軟件理論與技術 | tao(AT)otcaix.iscas.ac.cn | |
| 鐘華 | 博導 | 軟件工程，電子信息 | 分布式軟件理論與技術，分布式軟件系統工程 | zhonghua(AT)otcaix.iscas.ac.cn | |
| 魏峻 | 博導 | 軟件工程 | 智能軟件工程，分布式系統 | wj(AT)otcaix.iscas.ac.cn | |
| 金蓓弘 | 博導 | 計算機科學與技術 | 網絡分布計算與軟件工程 | jbh(AT)otcaix.iscas.ac.cn | |
| 葉丹 | 博導 | 軟件工程 | 大數據系統與智能分析 | yedan(AT)otcaix.iscas.ac.cn | |
| 張文博 | 博導 | 軟件工程 | 分布式系統與云計算 | zhangwenbo(AT)otcaix.iscas.ac.cn | |
| 王偉 | 博導 | 計算機科學與技術 | 分布式系統，大數據與機器學習系統 | wangwei(AT)otcaix.iscas.ac.cn | |
| 嚴俊 | 博導 | 軟件工程 | 程序分析與軟件測試 | yanjun(AT)otcaix.iscas.ac.cn | |
| 吳國全 | 博導 | 軟件工程 | 軟件測試分析，軟件可靠性保障 | gqwu(AT)otcaix.iscas.ac.cn | |
| 徐罡 | 碩導 | 軟件工程 | 數據挖掘，云計算 | xugang(AT)otcaix.iscas.ac.cn | |
| 陳偉 | 碩導 | 軟件工程 | 知識驅動的軟件工程與網絡分布式計算 | wchen(AT)otcaix.iscas.ac.cn | |
| 劉杰 | 碩導 | 計算機科學與技術 | 大數據分析算法與系統 | ljie(AT)otcaix.iscas.ac.cn | |
| 竇文生 | 碩導 | 軟件工程 | 軟件分析與測試 | wsdou(AT)otcaix.iscas.ac.cn | |
| 吳恒 | 碩導 | 軟件工程 | 云邊協同 | wuheng09(AT)otcaix.iscas.ac.cn | |
| 王燾 | 碩導 | 軟件工程 | 云計算平臺設計，大數據智能治理 | wangtao08(AT)otcaix.iscas.ac.cn | |
| 許利杰 | 碩導 | 計算機科學與技術 | 大數據系統 | xulijie09(AT)otcaix.iscas.ac.cn | |
| 張扶桑 | 碩導 | 計算機科學與技術 | 移動與普適計算、智能感知 | zhangfusang10(AT)otcaix.iscas.ac.cn | |
| 朱嘉鑫 | 碩導 | 軟件工程 | 軟件過程分析與優化，開源生態治理 | zhujiaxin(AT)otcaix.iscas.ac.cn | |
| 天基綜合信息系統重點實驗室 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 徐帆江 | 博導 | 計算機科學與技術 | 智能信息處理 | fanjiang(AT)iscas.ac.cn | |
| 胡曉惠 | 博導 | 軟件工程 | 大數據與智能信息處理 | hxh(AT)iscas.ac.cn | |
| 鄭昌文 | 博導 | 軟件工程 | 大數據與智能信息處理 | changwen(AT)iscas.ac.cn | |
| 劉立祥 | 博導 | 計算機科學與技術 | 智能組網技術 | lixiang(AT)iscas.ac.cn | |
| 吳玉泉 | 博導 | 軟件工程 | 大數據與智能信息處理 | yuquan(AT)iscas.ac.cn | |
| 吳鳳鴿 | 碩導 | 計算機科學與技術 | 智能信息處理 | fengge(AT)iscas.ac.cn | |
| 趙軍鎖 | 碩導 | 軟件工程 | 大數據與智能信息處理 | junsuo(AT)iscas.ac.cn | |
| 周鑫 | 碩導 | 軟件工程 | 大數據與智能信息處理 | zhouxin(AT)iscas.ac.cn | |
| 吳長茂 | 碩導 | 計算機科學與技術 | 并行軟件與并行算法 | changmao(AT)iscas.ac.cn | |
| 李海昌 | 碩導 | 計算機科學與技術 | 智能信息處理 | haichang(AT)iscas.ac.cn | |
| 鄭權 | 碩導 | 計算機科學與技術 | 人工智能，計算機圖形學，計算成像 | zhengquan(AT)iscas.ac.cn | |
| 唐熊忻 | 碩導 | 計算機科學與技術 | 智能信息處理 | xiongxin(AT)iscas.ac.cn | |
| 協同創新中心 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 關貝 | 碩導 | 軟件工程 | 大數據分析技術和人工智能技術應用，軟件工程技術，網絡安全分析 | guanbei(AT)iscas.ac.cn | |
| 王永吉 | 博導 | 軟件工程 | 人工智能，大數據分析，智能制造，醫療影像分析處理，中醫藥大數據等 | ywang(AT)itechs.iscas.ac.cn | |
| 時空數據管理與數據科學研究中心 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向 | E-mail 地址 | |
| 丁治明 | 博導 | 軟件工程 | 數據庫與知識庫系統，時空感知大數據 | zhiming(AT)iscas.ac.cn | |
| 劉杰 | 碩導 | 計算機科學與技術 | 智能感知，類腦多模態信息智能處理，大數據智能分析 | liujie2016(AT)iscas.ac.cn | |
| 竇竹梅 | 碩導 | 計算機科學與技術 | 網絡軟件工程，系統軟件理論與技術，軟件體系結構等 | zhumei(AT)iscas.ac.cn | |
| 丁麗萍 | 博導 | 計算機科學與技術 | 計算機應用技術 | dingliping(AT)gz.iscas.ac.cn | |
|
|
|||||
| 智能軟件研究中心 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 趙琛 | 博導 | 軟件工程 | 智能基礎理論與系統 | zhaochen(AT)iscas.ac.cn | |
| 武延軍 | 博導 | 軟件工程 | 操作系統 | yanjun(AT)iscas.ac.cn | |
| 吳敬征 | 博導 | 軟件工程 | 軟件供應鏈安全 | jingzheng08(AT)iscas.ac.cn | |
| 李玲 | 博導 | 軟件工程 | 智能計算，系統軟件，視頻處理 | liling(AT)iscas.ac.cn | |
| 于佳耕 | 碩導 | 軟件工程 | 操作系統，智能系統，云計算 | jiageng08(AT)iscas.ac.cn | |
| 張立波 | 碩導 | 軟件工程 | 人工智能，計算機視覺 | libo(AT)iscas.ac.cn | |
| 薛云志 | 碩導 | 計算機科學與技術 | 可信賴人工智能 | yunzhi(AT)iscas.ac.cn | |
| 孟令中 | 碩導 | 計算機科學與技術 | 可信賴人工智能 | lingzhong(AT)iscas.ac.cn | |
| 董乾 | 碩導 | 計算機科學與技術 | 人工智能測評，分布式優化 | dongqian(AT)iscas.ac.cn | |
| 軟件發展研究部 | |||||
| 導師姓名 | 導師類別 | 招生學科 | 研究方向（博士/碩士） | E-mail 地址 | |
| 張鳳軍 | 博導 | 軟件工程 | 數據分析與可視化，區塊鏈 | fengjun(AT)iscas.ac.cn | |
| 左春 * | 碩導 | 軟件工程 | 智能化軟件系統工程 | zuochun(AT)sinosoft.com.cn | |
| 楊立 | 碩導 | 軟件工程 | 智能化軟件開發方法及質量保障 | yangli2017(AT)iscas.ac.cn | |
