池剑磊，男，准聘副教授，工学博士。2022年于西安交通大学获计算机科学与技术专业工学博士学位。研究方向包括可信软件、软件工程、程序分析，机器学习等。近年来以第一作者或合作作者身份，共计在ICSE，ASE，TSE等软件工程领域重要国际期刊会议上发表论文10余篇。先后参与国家自然科学基金重大研究计划“可信软件基础研究”等多项科研项目。相关成果申请或授权国家发明专利多项。
主要研究方向：可信软件、软件工程、程序分析，机器学习等
联系方式：chijianlei@xidian.edu.cn
院区地址：浙江省杭州市萧山区钱农东路8号 邮编：311231 官方网站：www.sensenmenye.com
Copyright © bat·365(中文)官方网站-登录入口 版权所有 陕ICP备05016463
技术支持：信息网络技术中心 西安聚力
