删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

安徽工业大学计算机科学与技术学院导师教师师资介绍简介-李沁

本站小编 Free考研考试/2021-04-24




姓名: 李沁

职称: 副教授

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




相关话题/安徽工业大学 计算机科学与技术学院