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

Shengyuan Yang (杨声远)
Shengyuan Yang (杨声远)
M.Sc., 2021--
Hengjie Chen (陈恒杰)
Hengjie Chen (陈恒杰)
M.Sc., 2021--
Junliang Yan (颜俊梁)
Junliang Yan (颜俊梁)
M.Sc., 2021--
Ganlin Li (李甘霖)
Ganlin Li (李甘霖)
M.Sc., 2022--
Shumeng Zhang (张书萌)
Shumeng Zhang (张书萌)
M.Sc., 2022--
Hailong Zhu (朱海龙)
Hailong Zhu (朱海龙)
M.Sc., 2022--
Chenxi Li (李晨曦)
Chenxi Li (李晨曦)
M.Sc., 2022--

Faculty

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

Undergraduate Students

Wenjie Ma (马文洁)
Wenjie Ma (马文洁)
Undergraduate, 2019--
Yihui Wang (王一辉)
Yihui Wang (王一辉)
Undergraduate, 2019--
Ziyang Yan (阎子扬)
Ziyang Yan (阎子扬)
Undergraduate, 2020--
Zhengxi Zhou (周正熙)
Zhengxi Zhou (周正熙)
Undergraduate, 2020--
Jinpeng Wang (王锦朋)
Jinpeng Wang (王锦朋)
Undergraduate, 2020--
Nairen Zhang (张乃仁)
Nairen Zhang (张乃仁)
Undergraduate, 2020--
Haoran Lin (林浩然)
Haoran Lin (林浩然)
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.
Boying Li (李博颖)
Boying Li (李博颖)
Now Undergraduate at UW-Madison.
Xinyu Zhou (周心瑜)
Xinyu Zhou (周心瑜)
B.S., 2022. Now M.Sc. at UCSD.