池剑磊，男，准聘副教授，工学博士。2022年于西安交通大学获计算机科学与技术专业工学博士学位。博士期间赴加州大学河滨分校交流访学2年。研究方向包括可信软件、软件工程、程序分析，机器学习等。近年来以第一作者或合作作者身份，共计在ICSE，ISSTA，ASE，TSE，TIFS等软件工程领域重要国际期刊会议上发表论文10余篇。浙江省尖兵项目“异构复杂软件供应链风险评估与安全治理研究”课题负责人，先后参与国家自然科学基金重大研究计划“可信软件基础研究”等多项科研项目。相关成果申请或授权国家发明专利多项。
主要研究方向：可信软件、软件工程、程序分析，机器学习等
个人主页：https://faculty.xidian.edu.cn/CHIJIANLEI/zh_CN/index.htm
联系方式：chijianlei@xidian.edu.cn
