软件所2020年博士后招收计划
文章来源: | 发布时间:2020-04-01 | 【】 【】
序号 |
合作导师 |
研究方向或内容 |
招收人数 |
系方式(邮件地址) |
1 |
詹乃军 |
程序验证、信息物理融合系统、定理证明 |
1-3 |
|
2 |
张立军 |
基于学习算法的建模与验证 |
1 |
|
3 |
陈海明 |
软件设计与分析方法,新型计算模型与应用 |
1 |
|
4 |
徐帆江 |
智能信息处理 |
1 |
15811477121 |
5 |
胡晓惠 |
大数据与智能信息处理 |
1 |
15811477121 |
6 |
冯登国 |
大数据安全、区块链安全 |
2 |
|
7 |
张振峰 |
后量子密码、区块链密码、零信任与网络安全 |
3 |
|
8 |
苏璞睿 |
软件安全性分析与恶意软件检测 |
2 |
|
9 |
陈华 |
密码芯片的侧信道攻击及防护方法 |
1 |
|
10 |
李会元 |
并行计算 |
1 |
|
11 |
张常有 |
智能数据分析 |
1 |
|
12 |
王宏安 |
人机交互、实时智能 |
1 |
|
13 |
田丰 |
人机交互 |
1 |
|
14 |
王青 |
软件工程 |
1 |
|
15 |
王永吉 |
nlp信息抽取 医疗影像处理(与重点医院医疗影像科合作) 大数据处理与分析(与制造企业开展合作) |
1-2 |
|
16 |
丁治明 |
方向:时空大数据 内容:时空索引,分布式数据库,分布式计算,空间运算 |
1 |
戴老师 |
17 |
丁治明 |
方向:机器学习与图像识别 内容:图像识别,人脸识别,语义分析,移动目标跟踪,激光点云识别和处理 |
1 |
戴老师 |
18 |
丁治明 |
方向:数据建模与系统评估 内容:评估算法,评估模型,大数据分析与挖掘,知识图谱,图数据库 |
1 |
易老师 |
19 |
贺也平 |
多主体环境安全机制研究 |
1 |
|
20 |
孙乐 |
信息抽取、知识图谱、问答系统2 |
2 |
|
21 |
赵琛 |
智能基础理论:研究智能的可解释、可计算、可进化和人机融合问题。 |
1 |
|
22 |
武延军 |
智能基础软件:面向ai芯片和ai典型应用的操作系统内核、工具链及通用框架优化 |
2 |
|
23 |
李玲 |
类脑芯片和类脑操作系统融合的新型软硬件架构 |
1 |
|
24 | 黄涛 | 分布式软件理论与技术 | 1 | |
25 | 魏峻 | 分布式软件理论与技术 | 1 |