School of Software

 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
  • 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

First  Prev 1  Next  End 1 / 1 Page Go to Page