中国足彩-中国足彩官方网站(yb3548.cn)是亚洲优质游戏品牌,综合各种在线游戏于一站式的大型游戏平台,经营多年一直为大家提供安全稳定的游戏环境,中国足彩-中国足彩官方网站值得信赖,期待广大游戏爱好者前来体验,中国足彩-中国足彩官方网站将把最好的游戏体验带给大家!

<menuitem id="3btd3"></menuitem>
<ruby id="3btd3"><i id="3btd3"></i></ruby>
<span id="3btd3"></span>
<strike id="3btd3"><i id="3btd3"></i></strike><ruby id="3btd3"></ruby>
<strike id="3btd3"><i id="3btd3"></i></strike>
<span id="3btd3"><dl id="3btd3"></dl></span>
<strike id="3btd3"></strike>
<strike id="3btd3"><ins id="3btd3"></ins></strike>
<span id="3btd3"></span>
<strike id="3btd3"><dl id="3btd3"></dl></strike><strike id="3btd3"><dl id="3btd3"><del id="3btd3"></del></dl></strike><strike id="3btd3"><i id="3btd3"></i></strike>
<strike id="3btd3"><i id="3btd3"></i></strike>
<ruby id="3btd3"></ruby>

教授/博士生导师

*按姓氏拼音顺序排列

 

姓名

职称

研究方向

邮箱

蔡海滨

教授/博导

普适计算中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,物联网/CPS中国足彩-中国足彩官方网站,嵌入式软件

hbcai@sei.ecnu.edu.cn

曹桂涛

教授/博导

物联网与智能技术中国足彩-中国足彩官方网站、智能识别与决策系统中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、边缘计算

gtcao@sei.ecnu.edu.cn

曹珍富

教授/博导

数论,密码学新理论中国足彩-中国足彩官方网站,网络安全新理论中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,云计算中国足彩-中国足彩官方网站、云处理安全和隐私?;?中国足彩-中国足彩官方网站,大数据安全和隐私?中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站;?/p>

zfcao@sei.ecnu.edu.cn

陈洁

研究员/博导

密码学,信息安全

jchen@cs.ecnu.edu.cn

陈铭松

教授/博导

物联网、智能系统设计自动化,可信智能软件中国足彩-中国足彩官方网站,计算机体系结构,边缘计算

mschen@sei.ecnu.edu.cn

陈仪香

教授/博导

物联网中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、实时协同规范语言设计、程序语义模型、软件可信度量与评估

yxchen@sei.ecnu.edu.cn

程鹏 青年研究员/博导 空间众包中国足彩-中国足彩官方网站、智慧交通中国足彩-中国足彩官方网站、隐私?;?中国足彩-中国足彩官方网站、图数据库 pcheng@sei.ecnu.edu.cn

邓玉欣

教授/博导

并发理论中国足彩-中国足彩官方网站,程序语义

yxdeng@sei.ecnu.edu.cn

董晓蕾

教授/博导

数论、密码学与网络安全

dongxiaolei@sei.ecnu.edu.cn

杜德慧

教授/博导

可信人工智能中国足彩-中国足彩官方网站、人工智能系统的正确性中国足彩-中国足彩官方网站、安全性的建模与验证中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站;信息物理融合系统的建模及验证;实时系统建模及验证,建模、验证工具研发、应用研究 dhdu@sei.ecnu.edu.cn
宫学庆 教授/博导 数据库技术、分布式数据管理系统 xqgong@sei.ecnu.edu.cn

何道敬

教授/博导

网络安全中国足彩-中国足彩官方网站;传感网安全;软件安全;物联网中国足彩-中国足彩官方网站;通信安全中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站;嵌入式系统安全中国足彩-中国足彩官方网站;飞行器安全

djhe@sei.ecnu.edu.cn

何积丰

教授/博导

高可信与信息安全理论中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、形式化方法中国足彩-中国足彩官方网站、并发程序设计理论中国足彩-中国足彩官方网站、嵌入式系统设计方法和工具中国足彩-中国足彩官方网站、软硬件混成系统协同设计中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、计算机软件与理论

jifeng@sei.ecnu.edu.cn

李建文 青年研究员/博导 自动化验证理论和应用技术、计算机逻辑理论和应用技术中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、自动机理论和应用技术 jwli@sei.ecnu.edu.cn

李祥学

研究员/博导

车联网安全中国足彩-中国足彩官方网站,网络安全,密码学

xxli@cs.ecnu.edu.cn

林学民

教授/博导

数据库理论、算法与技术研究中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,时空数据和流数据的查询中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、图和文本的匹配查询中国足彩-中国足彩官方网站、不确定数据的概化查询及图数据可视化

xmlin@sei.ecnu.edu.cn

刘静

教授/博导

可信软件,模型驱动式软件开发方法中国足彩-中国足彩官方网站,面向服务的软件架构

jliu@sei.ecnu.edu.cn

巩俊卿 青年研究员/博导 密码学与信息安全 jqgong@sei.ecnu.edu.cn

蒲戈光

教授/博导

程序分析中国足彩-中国足彩官方网站,软件验证中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,基于Web的工作流建模

ggpu@sei.ecnu.edu.cn

钱海峰

研究员/博导

计算机安全、信息安全与密码学、计算机网络安全中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、密码理论与算法数论

hfqian@cs.ecnu.edu.cn

苏亭

教授

软件分析与验证中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,软件测试中国足彩-中国足彩官方网站,软件安全中国足彩-中国足彩官方网站,可信人工智能中国足彩-中国足彩官方网站,系统软件 tsu@sei.ecnu.edu.can

王高丽

教授/博导

密码学与网络安全

glwang@sei.ecnu.edu.cn

杨争峰 教授/博导 机器学习与优化中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,深度学习算法的设计与验证中国足彩-中国足彩官方网站,形式化方法 zfyang@sei.ecnu.edu.cn

张磊

研究员/博导

信息安全中国足彩-中国足彩官方网站,密码学中国足彩-中国足彩官方网站,无线网安全, 车载网安全中国足彩-中国足彩官方网站,云计算安全, 隐私敝泄悴?中国足彩官方网站;?/p>

leizhang@sei.ecnu.edu.cn

赵慧

教授

数据管理与分布式计算

hzhao@sei.ecnu.edu.cn

朱惠彪

教授/博导

高可信计算中国足彩-中国足彩官方网站、形式化方法、形式语义及其连接中国足彩-中国足彩官方网站、程序分析与验证中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站、进程代数

hbzhu@sei.ecnu.edu.cn

朱明华

研究员/博导

无线传感器网络中国足彩-中国足彩官方网站,嵌入式系统中国足彩-中国足彩官方网站,无线通信中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站中国足彩-中国足彩官方网站,数字集成电路设计

mhzhu@sei.ecnu.edu.cn

 
华东师范大学软件工程学院
www.dmsio.com Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼
中国足彩-中国足彩官方网站古风小说 君子以泽 好看的课外书 古风君子以泽 好看的小说完本推荐 盗墓笔记第二季 唐家三少 好看的电视剧 完美世界前传下载 已完本玄幻小说排行榜 小说 玄幻小说排行榜 <menuitem id="3btd3"></menuitem>
<ruby id="3btd3"><i id="3btd3"></i></ruby>
<span id="3btd3"></span>
<strike id="3btd3"><i id="3btd3"></i></strike><ruby id="3btd3"></ruby>
<strike id="3btd3"><i id="3btd3"></i></strike>
<span id="3btd3"><dl id="3btd3"></dl></span>
<strike id="3btd3"></strike>
<strike id="3btd3"><ins id="3btd3"></ins></strike>
<span id="3btd3"></span>
<strike id="3btd3"><dl id="3btd3"></dl></strike><strike id="3btd3"><dl id="3btd3"><del id="3btd3"></del></dl></strike><strike id="3btd3"><i id="3btd3"></i></strike>
<strike id="3btd3"><i id="3btd3"></i></strike>
<ruby id="3btd3"></ruby>