李沁
博士 副教授
所属大学: 安徽工业大学
所属学院: 计算机科学与技术学院
个人简介
出生年月 1976.11 职称 副教授 最终学位 博士 职务 网络工程系副主任
研究领域
1、软件验证 2、并发程序分析
近期论文
1.一种面向非干扰的线程程序逻辑.李沁,曾庆凯，袁志祥.《软件学报》vol.25(6),2014.6:1143—1153.一类顶级
2.Samplingautomataandprograms.QinLi,ZheDang.TheoreticalComputerScience,vol557:125-140.SCI二区