印佳奇

发布日期：2024-04-06 浏览次数：次

综合介绍 General Introduction 印佳奇，博士，助理教授，硕士生导师，于2022年6月取得华东师范大学软件工程专业工学博士学位。目前研究方向为形式化方法、高可信计算、形式语义、形式化建模与验证、可信人工智能，担任CCF形式化方法专委会执行委员，主持1项中央高校基本科研业务项目。曾获国家奖学金、上海市优秀毕业生等多项荣誉或奖项，在华为中央软件院实习，在软件工程专业领域内以第一作者或通信作者发表国际知名期刊或会议十余篇，主要参与多项国家级项目。个人相册