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