BigAI
大数据机器学习 机器学习算法:存储、计算、通信
- 哈希学习
- 哈希函数很关键 哈希值应当保留样本是否相似的特征
- 实际应用: 行人重识别,自动问答,视频查重
- 并行与分布式随机学习
- 单机器:并行;多机器:分布式
- 交互协同的开销有时比计算开销更大,是加速的代价
- 分布式机器学习:数据不出本地(保护隐私等原因),实现可信机器学习
- 大数据机器学习平台LIBBLE
- 机器学习的底层数据平台
应用:
智慧医疗
ICS - 基础研究和系统工程中心
判断程序的正误?如何根据行为习惯进行推断?高效的多心(并发)问题?
(可见许畅老师的主页)
(见软件所主页)
- 软件工程+机器学习
- 软件智能化: 机器编写代码,自动测试等
- 逻辑的演绎性+学习的归纳性的冲突 SE+AI
SEG
设计开发方法/程序分析/编译优化
学术or工程
4月25日
COSEC
仲盛、华景煜、张渊
研究方向
密码学/网络空间安全/博弈论
隐私、网络安全在分布式、网络的引用
推荐服务的隐私保护,app隐私合规
多方合作计算的隐私保护、激励兼容
应用为导向的网络系统研究
先进网络系统大组
分布式网络与系统 计算网络+存储系统
企业合作
大四开始加入研究
topic:
云存储系统与网络,软件定义的测量技术与系统,超低时延网络,图计算 偏算法,流式计算,可编程网络,统一通信库,机器学习系统和网络,音视频传输
智能软件生态研究小组
计算机理论之美——尹一通老师 理论实验室
tcs.nju.edu.cn
cs之于computer有如望远镜之于天文学
图灵机 通用的数学模型:对各种计算机的基本抽象
元胞自动机 game of life
计算机科学的创立时间早于第一台通用计算机的诞生
公理化的历程:
几何原本——罗素悖论
建立在喜欢钻研某个领域的基础再考虑未来学术道路如是否出国
- 林冰凯
- 参数复杂性与算法
- 按照参数精细刻画计算开销
- 参数复杂性与算法
- 刘景铖
- 计算相变 why easy 和物理结合
- 尹一通
- 采样算法 并行与分布式计算理论
- 郑朝栋
- 分布式算法 现代分布式计算模式中的原语问题(一些经典问题)
- 网络算法
Meta Graphics & 3D
CV+ML
分布式计算实验室
dislab.nju.edu.cn
谢磊
智能感知
云/边缘计算
数据挖掘
数据中心
边缘智能——钱柱中/张胜老师
数据产生在客户端/远端 如何计算?如果全部放在远端对用户不友好(eg:手机设备掉电快)
近数据源