|
姓名： 李沁 |
职称： 副教授 |
E-Mail：submit_qinli@163.com |
主要研究方向：
并发程序验证；分布式算法
个人简介：
南京大学计算机软件理论博士，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
