周從華
江蘇大學教授
江蘇大學教授，主要研究方向為可信嵌入式軟體，模型檢測，安全操作系統，模態邏輯，多智體系統。
- 南京大學數學系攻讀博士學位，並於2006年6月獲得理學博士學位
- 南京系攻讀，獲
歷
2006.1-2006.2以學生身份訪問德國帕德博恩大學計算機科學系
2011.07-2011.12 德國錫根大學訪問學者
2014.08-2015.07新加坡南洋理工大學計算機工程學院訪問學者
1）軟體測試（面向研究生）
2）數理邏輯（面向研究生）
3）可計算理論（面向研究生）
4）安全協議（面向本科生）
5）協議形式化分析（面向本科生）
可信嵌入式軟體，模型檢測，安全操作系統，模態邏輯，多智體系統
隱通道搜索方法的研究，鎮江市科技進步三等獎，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.
13）周從華，劉志鋒，吳海玲，陳松，鞠時光，非傳遞廣義無干擾屬性符號化算術驗證的研究，中國科學：信息科學,2011,41(11):1310-1327.
14）ConghuaZhou,MeilingCao,MengYe,ZhihaoQian,SAT-basedAlgorithmicVerificationofNoninterference,JournalofComputers.2011,6(11):2310-2320.
15）ConghuaZhou,BoSun,ZhifengLiu，AbstractionforModelCheckingMulti-agentSystems，FrontiersofComputerScienceinChina，2011,5(1):14-25.
16）周從華，劉志鋒，吳海玲，陳松，面向無傳遞性安全策略的語法信息流分析方法，計算機科學與探索,2011,5(2):179-192.
17）ShiguangJu,ConghuaZhou,ZhifengLiu,ChangdaWang,XiangmeiSong,InferenceChannelIdentificationwithModelChecking,Journalofcomputationalinformationsystem,2011,7(3):1001-1012.
18）ConghuaZhou,SongChen,MinchaoWang,HaiyangLi,ZhihaoQian,StructureReductionforVerifyingNoninterferenceproperties,JournalofInformation&ComputationalScience,2011,8(3):446-454
19）吳海玲,周從華,鞠時光,前向可修正屬性算術驗證的研究,計算機科學2011,38(3):97-102.
20）陳松，周從華，鞠時光，王基，基於Petri網的信息流安全屬性的分析與驗證，計算機應用研究，2010,27（12）：4638-4642.
21）周從華，陳振宇，鞠時光，基於SAT的軟體驗證，計算機研究與發展，2008，45(s1):124-130.
22）周從華，劉志鋒，基於Petri網的工作流模型簡化，計算機科學，2008，35(2):115-119.
23）周從華，劉志鋒,具有過去時態運算元的計算樹邏輯模型檢測,計算機工程，2007，33(22):98-100.
24）周從華，陶志紅，陳鍾，王立福,基於時態邏輯的工作流分析,計算機科學，2007，34(11):118-123.
