首页学院概况制度文件教学管理科学研究师资队伍学生工作党建阵地校友之窗
· 践行“两学一做” 提升党性修养    2016/05/16
站内搜索:
师资队伍
 教师名录 
 硕导介绍 
 外聘专家 
 教师风采 
 
当前位置: 首页>>师资队伍>>教师名录>>副教授>>正文
 
李沁
2016-06-15 15:20  

   

 李沁

   

近期照片

2寸正面彩照)

出生年月

1976.11

   

副教授

最终学位

博士

   

网络工程系副主任

毕业院校

及专业

南京大学软件理论

 

 

所属科室

(研究所)

网络技术教研室

电子邮箱

qinli@ahut.edu.cn

邮编

243032

通讯地址

 安徽省马鞍山市安工大秀山东区逸夫楼

是否硕士导师

对招生学生要求

其他兼职

 

主要研究方向

1、软件验证                       2、并发程序分析

3

主授课程

1、计算机网络                         2Linux网络程序设计

3、 程序设计语言理论                        4

学习和工作经历

 

获奖情况

 

科学研究

一、近五年承担的纵横项课题:

二、近五年发表的学术论文:

1.   一种面向非干扰的线程程序逻辑. 李沁,曾庆凯,袁志祥. 《软件学报》  vol.25(6), 2014.6:1143—1153. 一类顶级

2.   Sampling automata  and programs. Qin Li, Zhe Dang. Theoretical Computer Science, vol  557:125-140. SCI二区

关闭窗口

安徽工业大学计算机科学与技术学院 地址:安徽省马鞍山市马向路安徽工业大学(秀山校区)逸夫楼
电话:0555-2315538, 传真:0555-2315538 邮编:243032