Current position: Home >> Home

Luxury

Personal Information:

Associate professor graduate teacher

Academic Titles:计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记

Research Focus

模型检测（Model Checking）
分离逻辑（Separation Logic）
时序逻辑（Temporal Logic）
智能规划（Artificial Intelligence Planning）
程序验证（Program Verification）