Name：Guoqiang LI
Title：associate professor, doctorial supervisor
Office Phone：+86 - 21-34204167
Email：li.g@sjtu.edu.cn
Research Field：formal verification
programming language theory
knowledge reasoning and verification
intelligent system verification and security
data analytics and intelligence
|
