主要研究方向：
并发程序验证；分布式算法
个人简介：
南京大学计算机软件理论博士，2009年至今于二肖二码长期免费公开计算机学院任教
所授课程：
计算机网络；计算机系统基础上、下；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
