Group name: Dependable software

More detailed information can be found at http://39.105.174.52/index.html (under construction)

Supervisors and Cooperators

Haiming Chen

Lixiao Zheng

Zhiwu Xu

Ping Lu

Lei Chen

Huisong Li

Feifei Peng

Xiaolan Zhan

Xiaoyong Ni

Present students

现有学生

Xiaofan Wang

汪小凡 博士生

Yeting Li

李页霆 博士生

Qiancheng Peng

彭前程 硕士生

Zixuan Chen

陈子轩 硕士生

AHMED ZEESHAN 博士生

Yecheng Sun

孙业程 硕士生

Yixuan Yan

闫艺宣 硕士生

Weihao Su

苏韦豪 硕士生

实习生 (interns)

Rongchen Li

李镕辰

Yuanxin Qiaao

乔塬心

Former students

合作者及以前学生

    Yang Sheng ® IBM China

沈杨                IBM中国公司

    Duanyi Wu ® Canada

吴端仪 加拿大

    Xiaojun Dai  ® IT at Morgan Stanley

戴晓君 摩根士坦利投资公司

    Lei Chen ® Heifei, CAS

陈雷 中科院合肥研究院

    Lili Zheng ® IT industry, Beijing

郑丽丽         IT公司，北京

    Xiaoyong Ni ® Bank engineer, Beijing

倪晓勇 银行工程师，北京

Lixiao Zheng, PhD candidate, jointly supervised with the University of Edinburgh ® HuaQiao University

郑黎晓 博士生 在爱丁堡大学访问1年半 华侨大学

Zhiwu Xu, PhD candidate, jointly supervised with the University Paris 7 ® Shenzhen University

许智武 博士生 中科院软件所-巴黎7大联合培养 深圳大学

Ping Lu, PhD candidate ® Postdoctoral of Beihang University and the University of Edinburgh ® associate professor of Beihang University

陆平 博士生 北航（爱丁堡）博士后 北航副教授

Xiaoqiang Feng, Master's candidate ® TOSHIBA Chian

冯晓强 硕士生 东芝中国有限公司

Huisong Li, Master's candidate ® PhD candidate at Ecole Normale Superieure

李慧松 硕士生 去巴黎高等师范学院读博

Feifei Peng, Master's candidate

彭飞飞 硕士生

Xiaolan Zhan, PhD candidate

张潇澜 博士生

Xiaoying Mou, Master's candidate

牟笑盈 硕士生

Fanlin Cui, Master's candidate

崔蕃琳 硕士生

Chunmei Dong, Master's candidate

董春梅 硕士生

Xinyu Chu, Master's candidate

褚新宇 硕士生

Zeyu Li

李泽宇

Lingqi Zhang

张令其

Mingyang An

安明杨