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--
Chongyang Gao (高崇阳)
Chongyang Gao (高崇阳)
Ph.D., 2022--
Fukang Zhu (朱富康)
Fukang Zhu (朱富康)
Ph.D., 2023--

Master Students

Yufei Liang (梁寓飞)
Yufei Liang (梁寓飞)
M.Sc., 2020-- (joined PASCAL in 2022)
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--
Sitao Lin (林思涛)
Sitao Lin (林思涛)
M.Sc., 2023--
Menglong Chen (陈梦龙)
Menglong Chen (陈梦龙)
M.Sc., 2023--
Fang Wei (韦放)
Fang Wei (韦放)
M.Sc., 2023--
Hanwen Zheng (郑涵文)
Hanwen Zheng (郑涵文)
M.Sc., 2023--
Boheng Huang (黄伯恒)
Boheng Huang (黄伯恒)
M.Sc., 2023--
Zhongsheng Zhan (湛忠胜)
Zhongsheng Zhan (湛忠胜)
M.Sc, 2024--

Faculty

Yue Li (李樾)
Associate Professor
Tian Tan (谭添)
Associate 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--
Haoran Lin (林浩然)
Haoran Lin (林浩然)
Undergraduate, 2020--
Yujun Dong (董宇骏)
Yujun Dong (董宇骏)
Undergraduate, 2021--
Yu Wu (吴羽)
Yu Wu (吴羽)
Undergraduate, 2021--
Yinning Xiao (肖胤凝)
Yinning Xiao (肖胤凝)
Undergraduate, 2021--
Zhiwei Zhang (张志伟)
Zhiwei Zhang (张志伟)
Undergraduate, 2021--
Hengbin Zheng (郑恒彬)
Hengbin Zheng (郑恒彬)
Undergraduate, 2021--

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.