印佳奇
| 姓名 | 印佳奇 |
| 教师编号 | 4178 |
| 性别 | |
| 学校 | 西北工业大学 |
| 部门 | |
| 学位 | |
| 学历 | |
| 职称 | |
| 联系方式 | |
| 邮箱 | |
| 人气 |
综合介绍 General Introduction 印佳奇，博士，助理教授，硕士生导师，于2022年6月取得华东师范大学软件工程专业工学博士学位。目前研究方向为形式化方法、高可信计算、形式语义、形式化建模与验证、可信人工智能，担任CCF形式化方法专委会执行委员，主持1项中央高校基本科研业务项目。曾获国家奖学金、上海市优秀毕业生等多项荣誉或奖项，在华为中央软件院实习，在软件工程专业领域内以第一作者或通信作者发表国际知名期刊或会议十余篇，主要参与多项国家级项目。 个人相册 教育教学教育教学 Education and teaching 教育教学 《程序设计基础》 本科生《数理逻辑与程序设计原理》 研究生 荣誉获奖科学研究学术成果综合介绍 |
赞助商广告：
赞助商广告：
