Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Jian Zhang's Homepage
Finite Model Searching and Satisfiability Checking
Program Analysis and Software Testing
Conferences
I am on the Program Committee of various international conferences.
You are welcome to submit papers and attend these conferences.
Students
About 20 graduate students have been supervised (or are being supervised) by me. Some of them are studying in the U.S., and some others are working in industry. Currently, there are nine graduate students in my group.