Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
ZipCode :
PostalAddress :
OfficePhone :
Other :
Email :
Research Focus:计算数学（逻辑演绎、定理机器证明）
Degree:Dr.
Current Status:In the school
Date of Registration:2022-09-01
