硕士生导师
学历:博士研究生毕业
学位:工学博士学位
办公地点:西南交通大学 系统可信性自动验证国家地方联合工程实验室 犀浦校区3号楼-3# Building, Xipu Campus Southwest Jiaotong University
性别:男
在职信息:在岗
所在单位:计算机与人工智能学院
保守初心,胜过一切! Guard your heart with all vigilance, for from it are the sources of life.
形式化方法、模型检验