Languages

3rd Asian-Pacific Summer School on Formal Methods Participants

Name Affiliation
ANBERREE Thomas the University of Nottingham, Ningbo campus, China (UNNC)
Cai Dazhuang University of Science and Technology of China
Cao Hongxing University of Science and Technology of China
Cao Jiannan University of Science and Technology of China
Cao Jingyuan University of Science and Technology of China
Chen Jiecao University of Science and Technology of China
Chen Li(陈立) University of Science and Technology of China
Chen Li(陈力) University of Science and Technology of China
Chen Meixian Shanghai Jiaotong University
Cheng Yunchang An hui Polytechnic University
Du Rundong University of Science and Technology of China
Fan Fuyou University of Electronic Science and Technology of China
Feng Jingyun University of Science and Technology of China
Gu Hao University of Science and Technology of China
Guo Xu East China Normal University
Guo Zhenhua Harbin Engineering University
Han Yahui University of Science and Technology of China
Hao Xi Hunan Normal University
Hua Mei Tsinghua University
Huang Shan University of Science and Technology of China
Ji Kailiang Institute of Software Chinese Academy of Sciences
Jiang Jiahong 国防科大计算机学院
Jin Huan Chinese Academy of Sciences
Jin Yucong University of Science and Technology of China
Ke DongLiang Southeast University, NanJing
Le Qianqi University of Electronic Science and Technology of China(UESTC)
Li Changlong University of Science and Technology of China
Li Cheng University of Science and Technology of China
Li Nuo the University of Nottingham
Li Qin Anhui University of Technology
Li Xiaoyan Institute of Software Chinese Academy of Sciences
Li Zhuang Shanghai University
Liang Dou East China Normal University,Shanghai,China.
Liang Hong State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences
Liang Jiabiao University of Science and Technology of China
Liu Fangming University of Science and Technology of China
Liu Jian Institute of Software Chinese Academy of Sciences
Liu Jiangchao National University of Defence Technology
Liu Jiaxiang Tsinghua University
Liu Shichao Institute of Software Chinese Academy of Sciences
Liu Sili University of Science and Technology of China
Liu Yali Nanjing University of Aeronautics and Astronautics
Li Xuejian University of Science and Technology of China
Lu Dongcai University of Science and Technology of China
Luo Ercong University of Science and Technology of China
LY Kim Quyen FORMES Project, FIT - Tsinghua University
Peng Cheng Nanjing University
Sun Maohua Shanghai University
Sun Wenhui Beijing Jiaotong Unveristy
Ta Weina East China Normal University
Tuong Frédéric FORMES Project, Tsinghua University
Wang An'gang University of Science and Technology of China
Wang Hefeng University of Science and Technology of China
Wang Jiuyuan University of Science and Technology of China
Wei Shuai Nanjing University
William KILQUE LIAMA Laboratory
Wu Bin University of Science and Technology of China
Wu Houzhou University of Science and Technology of China
Wu Peng Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
Wu Tao University of Science and Technology of China
Shi Xiaomu University Joseph Fourier
Xing Kai University of Science and Technology of China
Xu Fengwei University of Science and Technology of China
Xu Hua University of Science and Technology of China
Xu Qingguo Shanghai University
Xu Xiaoyu National lab of software development environment, Department of computer science, Beihang university
Xu Zihe University of Science and Technology of China
Yan Jihao Shanghai University
Yan Rongjie Institute of Software, Chinese Academy of Sciences
Yang Jiasen University of Science and Technology of China
Yang Kai University of Science and Technology of China
Yang Longying University of Science and Technology of China
Yang Xiaoxiao Institute of Software, Chinese Academy of Sciences
Yu Bao Chinese Academy of Sciences
Zhang Ke Peking University
Zhang Lanlan Institute of Software Chinese Academy of Sciences
Zhang Qian Institute of Software Chinese Academy of Sciences.
Zhang Qirun The Chinese University of Hong Kong
Zhang Siyuan University of Science and Technology of China
Zhang Xiang University of Science and Technology of China
Zhang Xueling Wuhan University Of Technology
Zhang Xufan Princeton University
Zhang Zuyu Harbin Engineering University
Zhao Lifei University of Science and Technology of China
Zheng Wei University of Science and Technology of China
Zhong Ren University of Science and Technology of China
Zhou Mianlai Shanghai muchasset software company
Zhou Yan Institute of Software Chinese Academy of Sciences(ISCAS)
Zhuang Hang University of Science and Technology of China
Zuo Ying East China Normal University