Email：luoq@ustc.edu.cn
主要研究方向：程序设计语言理论、算法设计


罗奇鸣，讲师，2007年8月来到中国科大计算机科学与技术系(现计算机科学与技术学院)工作。

代表性论著：
孙科;罗奇鸣;李薛剑;陈意云.安全C语言验证器中形状系统的形状检查方法.小型微型计算机系统,2019(1), 133-140.
李云龙;罗奇鸣;陈意云. 二叉树程序循环不变形状图的自动推断. 小型微型计算机系统, 2017(5),913-918.
罗奇鸣.基于闭半环的若干图算法. 小型微型计算机系统, 2015 (12),2671-2674.
罗奇鸣.一种构件系统重新配置协议的关系逻辑模型.小型微型计算机系统, 2014(12), 2686-2690.
罗奇鸣. 一种利用Kodkod约束求解器验证UML-OCL类图的方法. 小型微型计算机系统, 2014(2), 205-209.
罗奇鸣. 综合利用语句和序列可疑度的软件故障定位方法. 小型微型计算机系统, 2013(2), 324-327.
Luo, Q., Chen, E., Xiong, H. A semantic term weighting scheme for text categorization.Expert Systems with Applications 38 (10), pp. 12708-12716.