Programming LAnguages
and StatiC AnaLysis Group

The PASCAL Research Group is affiliated with Institute of Computer Software and Department of Computer Science and Technology at Nanjing University. We develop effective static program analysis techniques and tools for solving the problems in programming languages, software engineering, system and security.

News

Older posts…

People

Ph.D. Students

Chenxi Zhang (张晨曦)
Chenxi Zhang (张晨曦)
Ph.D., 2017 (with Prof. Chang Xu)
Weiyu Ye (叶炜煜)
Weiyu Ye (叶炜煜)
Ph.D., 2017 (with Prof. Xiaoxing Ma)
Teng Zhang (张腾)
Teng Zhang (张腾)
Ph.D., 2021

Master Students

Qinlin Chen (陈钦霖)
M.Sc., 2020 (with Prof. Chang Xu)
Shengyuan Yang (杨声远)
Shengyuan Yang (杨声远)
M.Sc., 2021
Hengjie Chen (陈恒杰)
Hengjie Chen (陈恒杰)
M.Sc., 2021
Junliang Yan (颜俊梁)
Junliang Yan (颜俊梁)
M.Sc., 2021

Faculty

Yue Li (李樾)
Associate Professor
Tian Tan (谭添)
Assistant Research Professor

Undergraduate Students

Ganlin Li (李甘霖)
Ganlin Li (李甘霖)
Undergraduate, 2018
Shumeng Zhang (张书萌)
Shumeng Zhang (张书萌)
Undergraduate, 2018
Wenjie Ma (马文洁)
Wenjie Ma (马文洁)
Undergraduate, 2019
Yihui Wang (王一辉)
Yihui Wang (王一辉)
Undergraduate, 2019
Boying Li (李博颖)
Boying Li (李博颖)
Undergraduate, 2020
Ziyang Yan (阎子扬)
Ziyang Yan (阎子扬)
Undergraduate, 2020
Zhengxi Zhou (周正熙)
Zhengxi Zhou (周正熙)
Undergraduate, 2020
Jinpeng Wang (王锦朋)
Jinpeng Wang (王锦朋)
Undergraduate, 2020
Nairen Zhang (张乃仁)
Nairen Zhang (张乃仁)
Undergraduate, 2020

Alumni

Hao Ling (凌浩)
Hao Ling (凌浩)
B.S., 2020. Now Ph.D. at HKUST.
Yuying Yuan (袁宇颖)
Yuying Yuan (袁宇颖)
B.S., 2021. Now at MeiTuan.
Tianqi Shen (沈天琪)
Tianqi Shen (沈天琪)
B.S., 2021. Now M.Sc. at NJU.
Zhenyu Yan (鄢振宇)
Zhenyu Yan (鄢振宇)
B.S., 2021. Now Ph.D. at PKU.
Shengyi Jiang (蒋圣翊)
Shengyi Jiang (蒋圣翊)
M.Sc.(Lamda group), 2021. Now Ph.D. at HKU.