Qinxiang Cao
Associate Professor (tenure-track)，John Hopcroft Center for Computer Science Shanghai Jiao Tong University
Algorithm correctness verification, program verification, program semantics, separation logic, concurrent program verification.
Home Page: https://jhc.sjtu.edu.cn/people/members/faculty/qinxiang-cao.html