刘艾
博士生导师
硕士生导师
教师姓名：刘艾
教师拼音名称：Liu Ai
电子邮箱：
所在单位：计算机科学与技术学院/人工智能学院/软件学院
职务：Associate Professor
学历：博士毕业
性别：男
联系方式：shaoai@nuaa.edu.cn
学位：理学博士学位
职称：副教授
毕业院校：北京大学
所属院系：计算机科学与技术学院/软件学院
招生学科专业：
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
其他联系方式
暂无内容
专利
一种融合切片测试和形式验证的运行时异常检测方法
发布时间：2025-07-09 点击次数：
专利类型：发明
专利状态：授权专利
申请号：202411926331.8
授权号：CN 119782175 B
发明人数：4
是否职务专利：否
申请日期：2024-12-28
公开日期：2025-04-08
授权日期：2025-11-28
第一作者：刘艾
发明设计人：饶磊,刘少英,杨志斌
