江蘇大學副教授，主要研究方向為可信嵌入式軟體，模型檢測，安全作業系統，模態邏輯，多智體系統。
基本介紹
- 中文名：周從華
- 外文名：conghua chou
- 別名：蔥花
- 國籍：中國
- 民族：漢
- 出生地：江蘇鹽城
- 職業：江蘇大學副教授
- 畢業院校：南京大學
- 信仰：馬克思
- 主要成就：曾帶領江蘇大學15屆信息安全專業順利度過大一
教育經歷,主講課程,主要研究方向,獲獎,主持的項目,科學雜誌論文,
教育經歷
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.
