Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Research Team
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
Personal Homepage
Personal Information
MORE+
School/Department:计算机学院
News
Official network
中文
甘庭
+
Research Focus
Current position:
Home
/ Research Focus
形式化方法
形式化验证、程序验证、混成系统验证、约束求解（SMT，SAT）、多项式优化
