学院教授/博导

*按姓氏拼音顺序排列

 

姓名

职称

研究方向

邮箱

蔡海滨

教授/博导

普适计算,物联网/CPS,嵌入式软件

hbcai@sei.ecnu.edu.cn

曹桂涛

教授/博导

物联网与智能技术、智能识别与决策系统、边缘计算

gtcao@sei.ecnu.edu.cn

曹珍富

教授/博导

数论,密码学新理论,网络安全新理论,云计算、云处理安全和隐私保护,大数据安全和隐私保护。

zfcao@sei.ecnu.edu.cn

陈洁

研究员/博导

密码学,信息安全。

jchen@cs.ecnu.edu.cn

陈铭松

教授/博导

物联网、智能系统设计自动化,可信智能软件,计算机体系结构,边缘计算。

mschen@sei.ecnu.edu.cn

陈仪香

教授/博导

物联网、实时协同规范语言设计、程序语义模型、软件可信度量与评估。

yxchen@sei.ecnu.edu.cn

邓玉欣

教授/博导

并发理论,程序语义。

yxdeng@sei.ecnu.edu.cn

董晓蕾

教授/博导

数论、密码学与网络安全。

dongxiaolei@sei.ecnu.edu.cn

宫学庆 教授/博导 数据库技术、分布式数据管理系统。 xqgong@sei.ecnu.edu.cn

何道敬

教授/博导

网络安全;传感网安全;软件安全;物联网;通信安全;嵌入式系统安全;飞行器安全。

djhe@sei.ecnu.edu.cn

何积丰

教授/博导

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

jifeng@sei.ecnu.edu.cn

李祥学

研究员/博导

车联网安全,网络安全,密码学。

xxli@cs.ecnu.edu.cn

林学民

教授/博导

数据库理论、算法与技术研究,时空数据和流数据的查询、图和文本的匹配查询、不确定数据的概化查询及图数据可视化。

xmlin@sei.ecnu.edu.cn

刘静

教授/博导

可信软件,模型驱动式软件开发方法,面向服务的软件架构。

jliu@sei.ecnu.edu.cn

蒲戈光

教授/博导

程序分析,软件验证,基于Web的工作流建模。

ggpu@sei.ecnu.edu.cn

钱海峰

研究员/博导

计算机安全、信息安全与密码学、计算机网络安全、密码理论与算法数论。

hfqian@cs.ecnu.edu.cn

王高丽

教授/博导

密码学与网络安全

glwang@sei.ecnu.edu.cn

张磊

研究员/博导

信息安全,密码学,无线网安全, 车载网安全,云计算安全, 隐私保护。

leizhang@sei.ecnu.edu.cn

赵慧

教授

数据管理与分布式计算。

hzhao@sei.ecnu.edu.cn

朱惠彪

教授/博导

高可信计算、形式化方法、形式语义及其连接、程序分析与验证、进程代数。

hbzhu@sei.ecnu.edu.cn

朱明华

研究员/博导

无线传感器网络,嵌入式系统,无线通信,数字集成电路设计。

mhzhu@sei.ecnu.edu.cn

 
华东师范大学软件工程学院
www.sei.ecnu.edu.cn Copyright Software Engineering Institute
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼