Programming LAnguages
and StatiC AnaLysis Group

The PASCAL Research Group is affiliated with Institute of Computer Software and School of Computer Science 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

Faculty

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

Ph.D. Students

Chongyang Gao (高崇阳)
Chongyang Gao (高崇阳)
Ph.D., 2022--
Fukang Zhu (朱富康)
Fukang Zhu (朱富康)
Ph.D., 2023--
Hengjie Chen (陈恒杰)
Hengjie Chen (陈恒杰)
Ph.D., 2023--
Yufei Liang (梁寓飞)
Yufei Liang (梁寓飞)
Ph.D., 2024--

Master Students

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--
Fang Wei (韦放)
Fang Wei (韦放)
M.Sc., 2023--
Jiayan Wu (吴家焱)
Jiayan Wu (吴家焱)
M.Sc., 2023--
Hanwen Zheng (郑涵文)
Hanwen Zheng (郑涵文)
M.Sc., 2023--
Boheng Huang (黄伯恒)
Boheng Huang (黄伯恒)
M.Sc., 2023--
Zhongsheng Zhan (湛忠胜)
Zhongsheng Zhan (湛忠胜)
M.Sc, 2024--
Bingyu He (贺柄毓)
Bingyu He (贺柄毓)
M.Sc, 2024--
Zheyu Zhong (钟晢瑀)
Zheyu Zhong (钟晢瑀)
M.Sc, 2024--

Undergraduate Students

Yujun Dong (董宇骏)
Yujun Dong (董宇骏)
Undergraduate, 2021--
Yinning Xiao (肖胤凝)
Yinning Xiao (肖胤凝)
Undergraduate, 2021--
Zhiwei Zhang (张志伟)
Zhiwei Zhang (张志伟)
Undergraduate, 2021--
Hengbin Zheng (郑恒彬)
Hengbin Zheng (郑恒彬)
Undergraduate, 2021--
Zhaohui Wang (王朝晖)
Zhaohui Wang (王朝晖)
Undergraduate, 2022--

Alumni

Junliang Yan (颜俊梁)
M.Sc., 2024. Now at miHoYo.
Haoran Lin (林浩然)
B.S., 2024. Now Ph.D. at PKU.
Ziyang Yan (阎子扬)
B.S., 2024. Now M.Sc. at NJU.
Wenjie Ma (马文洁)
B.S., 2023. Now Ph.D. at UCB.
Shengyuan Yang (杨声远)
M.Sc., 2023. Now Ph.D. at UW-Madison.
Yihui Wang (王一辉)
B.S., 2023. Now M.Sc. at UCSD.
Xinyu Zhou (周心瑜)
B.S., 2022. Now M.Sc. at UCSD.
Boying Li (李博颖)
Now Undergraduate at UW-Madison.
Shengyi Jiang (蒋圣翊)
M.Sc. (LAMDA group), 2021. Now Ph.D. at HKU.
Yuying Yuan (袁宇颖)
B.S., 2021. Now at MeiTuan.
Zhenyu Yan (鄢振宇)
B.S., 2021. Now Ph.D. at PKU.
Hao Ling (凌浩)
B.S., 2020. Now Ph.D. at HKUST.