李沁


姓名 李沁

职称 副教授

E-Mail:submit[email protected]

主要研究方向

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

个人简介

南京大学计算机软件理论博士,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