江苏大学教授

职务与职称：

副教授 博士

职称

博士、副教授

教育经历

2001-2006 南京大学数学系攻读博士学位，并于2006年6月获得理学博士学位

1997-2001 南京大学数学系攻读学士学位，并于2001年6月获得理学学士学位

海外经历

2006.1-2006.2 以学生身份访问德国帕德博恩大学计算机科学系

主讲课程

1) 软件测试（面向研究生）

2) 数理逻辑（面向研究生）

3) 可计算理论（面向研究生）

4) 安全协议（面向本科生）

5) 信息安全数学（面向本科生）

主要研究方向

可信嵌入式软件，模型检测，安全操作系统，模态逻辑，多智体系统

获奖

1) 隐通道搜索方法的研究，镇江市科技进步三等奖，2008。

主持的项目

1) 基于满足性求解的限界模型检测的研究，江苏大学高级人才科研启动基金，No. 07JDG014, 2007-2010.

2) 信息流安全属性的统一表示及其符号化算术验证的研究，江苏省高校自然科学基金，No. 08KJD520015, 2008-2010.

科学杂志论文

1) 周从华, 一种基于满足性判定的并发软件验证策略，软件学报,2009,20(6):1414-1424.

4) 王昌达,鞠时光,周从华,宋香梅，一种隐通道威胁审计的度量方法， 计算机学报，2009，32(4）：751-762.

5) 周从华，陈振宇，鞠时光，基于SAT的软件验证，计算机研究与发展，2008，45(s1):124-130.

6) 陈立, 鞠时光, 周从华, 房芳, 张翼, 基于信息熵的隐通道能力分析, 计算机应用研究,2009,25(8):3015-3018.

7) 陈振宇，徐宝文，周从华，一种基于消解的变量极小不可满足子公式的提取方法，计算机研究与发展，2008，45(s1):43-47.

8) 周从华，刘志锋， 基于Petri网的工作流模型简化，计算机科学，2008，35(2):115-119.

11) 周从华，刘志锋,具有过去时态算子的计算树逻辑模型检测, 计算机工程，2007，33(22):98-100.

12) 周从华，陶志红，陈钟，王立福,基于时态逻辑的工作流分析, 计算机科学，2007，34(11):118-123.