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

Chenxi Zhang
Chenxi Zhang
Ph.D., 2017 ─ (co-supervised with Prof. Chang Xu)
Hao Ling
Hao Ling
Undergraduate, 2016 ─
Tian Tan
Assistant Research Professor
Yue Li
Associate Professor
Ganlin Li
Ganlin Li
Undergraduate, 2018 ─
Shengyuan Yang
Shengyuan Yang
Undergraduate, 2017 ─
Weiyu Ye
Weiyu Ye
Ph.D., 2017 ─ (co-supervised with Prof. Xiaoxing Ma)
Yuying Yuan
Yuying Yuan
Undergraduate, 2017 ─