池剑磊,男,准聘副教授,工学博士。2022年于西安交通大学获计算机科学与技术专业工学博士学位。研究方向包括可信软件、软件工程、程序分析,机器学习等。近年来以第一作者或合作作者身份,共计在ICSE,ASE,TSE等软件工程领域重要国际期刊会议上发表论文10余篇。先后参与国家自然科学基金重大研究计划“可信软件基础研究”等多项科研项目。相关成果申请或授权国家发明专利多项。

主要研究方向:可信软件、软件工程、程序分析,机器学习等

联系方式:chijianlei@xidian.edu.cn

上一篇:黄晏瑜

下一篇:田野