软件学院

南京大学

魏恒峰 照片
魏恒峰
助理研究员

hfwei@nju.edu.cn

研究领域:

包括分布式计算与形式化方法

查看详情
张贺 照片
张贺
教授 博士生导师

hezhang@nju.edu.cn

查看详情
郑滔 照片
郑滔
职称未知

zt@nju.edu.cn

研究领域:

程序安全、形式化方法、NLP

查看详情