访问量:   最后更新时间:--

刘艾

硕士生导师
教师姓名:刘艾
教师拼音名称:Liu Ai
电子邮箱:
所在单位:计算机科学与技术学院/人工智能学院/软件学院
职务:Associate Professor
学历:博士毕业
性别:男
联系方式:shaoai@nuaa.edu.cn
学位:理学博士学位
职称:副教授
毕业院校:北京大学
所属院系:计算机科学与技术学院/软件学院
招生学科专业: 软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
其他联系方式

暂无内容

专利
当前位置: 中文主页 > 科学研究 > 专利
一种融合切片测试和形式验证的运行时异常检测方法
发布时间:2025-07-09    点击次数:

专利类型:发明

专利状态:待批专利

申请号:202411926331.8

是否职务专利:

申请日期:2024-12-28

公开日期:2025-04-08

第一作者:刘艾

申请专利人:刘杨,刘少英,杨志斌