热点话题人物，欢迎提交收录！
申请收录
最优雅的名人百科，欢迎向我们提交收录。
申请收录
李沁
2023-03-07 14:28
科教人文
  • 李沁

  • 李沁 - 安徽工业大学-资料

近期热点

资料介绍

个人简介

出生年月1976.11职称副教授最终学位博士职务网络工程系副主任

研究领域

1、软件验证            2、并发程序分析

近期论文

1.一种面向非干扰的线程程序逻辑.李沁,曾庆凯，袁志祥.《软件学报》vol.25(6),2014.6:1143—1153.一类顶级2.Samplingautomataandprograms.QinLi,ZheDang.TheoreticalComputerScience,vol557:125-140.SCI二区

标签： 计算机科学与技术学院 安徽工业大学

相关热点

扫码添加好友