印佳奇
| 姓名 | 印佳奇 |
| 性别 | 男 |
| 学校 | 西北工业大学 |
| 部门 | 软件学院 |
| 学位 | 工学博士学位 |
| 学历 | 博士研究生毕业 |
| 职称 | 中级 |
| 联系方式 | 实用新型1875包写包过 |
| 邮箱 | jqyin@nwpu.edu.cn |
| 集群智慧云企服 / 知识产权申请大平台 微信客服在线：543646 急速申请 包写包过 办事快、准、稳 软件产品登记测试 软件著作权666元代写全部资料 实用新型专利1875代写全部资料 |
|
综合介绍 General Introduction 印佳奇，博士，助理教授，硕士生导师，于2022年6月取得华东师范大学软件工程专业工学博士学位。目前研究方向为形式化方法、高可信计算、形式语义、形式化建模与验证、可信人工智能，担任CCF形式化方法专委会执行委员，主持1项中央高校基本科研业务项目。曾获国家奖学金、上海市优秀毕业生等多项荣誉或奖项，在华为中央软件院实习，在软件工程专业领域内以第一作者或通信作者发表国际知名期刊或会议十余篇，主要参与多项国家级项目。 个人相册 教育教学教育教学 Education and teaching 教育教学 《程序设计基础》 本科生《数理逻辑与程序设计原理》 研究生 荣誉获奖科学研究学术成果综合介绍 |
