主要研究方向：

并发程序验证；分布式算法

个人简介：

南京大学计算机软件理论博士，2009年至今于安徽工业大学suncitygroup太阳新城官网任教

所授课程：

计算机网络；计算机系统基础上、下；UNIX网络编程

代表性论著：

Qin LI, Zhe DANG. Sampling Automata and Programs. Theoretical Computer Science

Volume 577, 27 April 2015, Pages 125-140.

李 沁,曾庆凯.利用类型推理验证Ad Hoc安全路由协议.软件学报,2009,20(10):2822-2833

李沁,曾庆凯,袁志祥.一种面向非干扰的线程程序逻辑.软件学报,2014,25(6):1143-1153