谢宛玲
讲师 硕士生导师 工学博士
所属大学: 南京航空航天大学
所属学院: 计算机科学与技术学院/人工智能学院
个人简介
教育经历 2014.92019.5华东师范大学软件工程工学博士学位 2010.92014.7华东师范大学软件工程工学学士学位
科研项目 移动计算的进程演算及其形式语义研究, 2019/01/01
授课信息 编译原理Ⅰ /2020-2021 /春学期 /56课时 /0.0学分 /16103030.01
研究领域
智能化软件工程 形式化验证
所属大学: 南京航空航天大学
所属学院: 计算机科学与技术学院/人工智能学院
教育经历 2014.92019.5华东师范大学软件工程工学博士学位 2010.92014.7华东师范大学软件工程工学学士学位
科研项目 移动计算的进程演算及其形式语义研究, 2019/01/01
授课信息 编译原理Ⅰ /2020-2021 /春学期 /56课时 /0.0学分 /16103030.01
智能化软件工程 形式化验证