软件工程学院

华东师范大学

许晨阳

讲师

cyxu@sei.ecnu.edu.cn

研究领域:

我的主要研究集中在理论计算机领域，方向包括：组合优化（Combinatorial Optimization）在线优化（Online Optimization, Online...

查看详情

杨争峰

教授

zfyang@sei.ecnu.edu.cn

研究领域:

大语言模型与自动推理机器学习与优化智能系统分析与验证

查看详情

张新宇

教授

xyzhang@sei.ecnu.edu.cn

研究领域:

智能机器人运动控制，计算机视觉，虚拟现实

查看详情

张民

教授

zhangmin@sei.ecnu.edu.cn

研究领域:

软件的形式化建模与验证，程序语言设计与分析，Maude, Rewriting Logic等. 当前主要研究的方向包括： 1....

查看详情

张磊

研究员

leizhang@sei.ecnu.edu.cn

研究领域:

车联网/物联网安全，密码学，人工智能(联邦学习)安全，区块链，云与大数据安全，隐私保护

查看详情

朱惠彪

职称未知

hbzhu@sei.ecnu.edu.cn

研究领域:

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

查看详情

朱明华

教授

mhzhu@sei.ecnu.edu.cn

研究领域:

物联网技术与应用，人工智能，嵌入式系统（ARM，FPGA，DSP等）设计

查看详情

章玥

副教授

yzhang@sei.ecnu.edu.cn

研究领域:

软件定义网络，网络管理与通信软件，嵌入式系统建模

查看详情

赵世忠

讲师

szzhao@sei.ecnu.edu.cn

研究领域:

可信数值计算误差可控计算

查看详情

赵慧

教授

Add@sei.ecnu.edu.cn

研究领域:

数据管理与分布式计算

查看详情

赵涌鑫

副教授

yxzhao@sei.ecnu.edu.cn

研究领域:

可信软件工程：智能系统、信息物理融合系统、网络协议建模与分析、汽车嵌入式软件等各类系统及软件建模、分析、验证和应用研究形式化方法：程序统一理论、形式语义理论、形式建模与分析、形式验证、定理证...

查看详情

张越龄

副教授

ylzhang@sei.ecnu.edu.cn

研究领域:

约束求解理论方法研究及应用软件（程序、协议、智能系统）可信安全分析与验证 AI芯片编译器理论与技术研究

查看详情