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)
Shengyuan Yang
Shengyuan Yang
Undergraduate, 2017 ─
Yue Li
Associate Professor
Hao Ling
Hao Ling
Undergraduate, 2016 ─
Tian Tan
Assistant Research Professor
Yuying Yuan
Yuying Yuan
Undergraduate, 2017 ─