个人简介

黄志球，男，博士，教授，博士生导师，国家教育部计算机基础教学(理工类)指导委员会委员，国防科技工业质量专家委员会委员 ，中国计算机学会理事、“系统软件”专业委员会副主任、“软件工程”委员，中国电子学会软件定义推进委员会委员，IEEE计算机学会南京分会副主席，CCF南京主席，江苏省计算机学会常务理事，江苏省软件人才基金会理事，工信部重点实验室“高安全系统的软件开发与验证重点实验室”主任。 近年来承担国家重点研发计划课题、863高技术项目、国家自然科学基金以及各类国防科技型号项目30余项。发表SCI、EI和核心期刊论文100余篇；已培养博士近20名，硕士100余名。获得教育部自然科学奖二等奖1项，省部级科技进步二等奖2项，省部级科技进步三等奖2项，省部级教学成果二等奖2项。 授课信息 编译原理Ⅰ /2020-2021 /春学期 /56课时 /0.0学分 /16103030.01 编译原理Ⅰ /2020-2021 /春学期 /56课时 /0.0学分 /16103030

研究领域

工业软件 智能化软件工程 大数据和云计算 网络空间安全 无人系统

工业软件、智能化软件工程、网络空间安全、大数据和云计算、无人系统

近期论文

查看导师新发文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1] 黄志球,,等.TRFIoT: Trust and reputation model for fog-based IoT.Lect. Notes Comput. Sci.,2018 [2] 黄志球,,等.Static Analysis Method of Secure Privacy Information Flow for Service Composition.Ruan Jian Xue Bao,2018 [3] 黄志球,,等.状态不可观测的信息物理融合系统运行时验证.电子学报,2018 [4] 黄志球,,等.一种基于GO图的故障树自动生成方法.小型微型计算机系统,2019 [5] 黄志球,,等.A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification.Comput Secur,2019 [6] 黄志球,Cao, Yan,黄志球,黄志球等.Specification and verification of a topology-aware access control model for cyber-physical space.Tsinghua Sci. Tech.,2019 [7] 黄志球,Fei, Wenwen,黄志球等.Heterogeneous graphene oxide membrane for rectified ion transport.Nanoscale,2019 [8] 黄志球,,等.Using information flow analysis to detect implicit information leaks for web service composition.FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING,2018 [9] 黄志球,,等.Preserving privacy information flow security in composite service evolution.FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING,2018 [10] 黄志球,,等.位置约束的访问控制模型及验证方法.计算机研究与发展,2018 [11] 黄志球,,等.基于隐马尔科夫模型的随机系统运行时安全性验证.工程科学与技术,2018 [12] 黄志球,,等.Truthful mechanism for crowdsourcing task assignment.Tsinghua Sci. Tech.,2018 [13] 黄志球,,等.Intrusion Detection with Tree-Based Data Mining Classification Techniques by Using KDD.Lect. Notes Inst. Comput. Sci. Soc. Informatics Telecommun. Eng.,2018 [14] 黄志球,Fang, Bing-Wu,Fang, Bing-Wu等.Runtime Verification of States Unobservable Cyber-Physical System.Tien Tzu Hsueh Pao,2018 [15] 黄志球,,等.P-Spec Policy Model-based Service Selection Approach for Privacy-aware Service Composition Establishment.2ND INTERNATIONAL CONFERENCE ON COMMUNICATIONS, INFORMATION MANAGEMENT AND NETWORK SECURITY (CIMNS 2017),2017 [16] 黄志球,,等.服务组合安全隐私信息流静态分析方法.软件学报,2017 [17] 黄志球,,等.基于CPA的抽象解释分析方法研究.计算技术与自动化,2017 [18] 黄志球,,等.基于混合贝叶斯网络的混合系统安全性分析方法.电子学报,2017 [19] 黄志球,,等.支持抽象解释的静态分析方法的形式化体系研究.计算机科学,2017 [20] 黄志球,,等.upsilon-Support vector machine based on discriminant sparse neighborhood preserving embedding.PATTERN ANALYSIS AND APPLICATIONS,2017 [1] 黄志球,,等.TRFIoT: Trust and reputation model for fog-based IoT.Lect. Notes Comput. Sci.,2018 [2] 黄志球,,等.Static Analysis Method of Secure Privacy Information Flow for Service Composition.Ruan Jian Xue Bao,2018 [3] 黄志球,,等.状态不可观测的信息物理融合系统运行时验证.电子学报,2018 [4] 黄志球,,等.一种基于GO图的故障树自动生成方法.小型微型计算机系统,2019 [5] 黄志球,,等.A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification.Comput Secur,2019 [6] 黄志球,Cao, Yan,黄志球,黄志球等.Specification and verification of a topology-aware access control model for cyber-physical space.Tsinghua Sci. Tech.,2019 [7] 黄志球,Fei, Wenwen,黄志球等.Heterogeneous graphene oxide membrane for rectified ion transport.Nanoscale,2019 [8] 黄志球,,等.Using information flow analysis to detect implicit information leaks for web service composition.FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING,2018 [9] 黄志球,,等.Preserving privacy information flow security in composite service evolution.FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING,2018 [10] 黄志球,,等.位置约束的访问控制模型及验证方法.计算机研究与发展,2018 [11] 黄志球,,等.基于隐马尔科夫模型的随机系统运行时安全性验证.工程科学与技术,2018 [12] 黄志球,,等.Truthful mechanism for crowdsourcing task assignment.Tsinghua Sci. Tech.,2018 [13] 黄志球,,等.Intrusion Detection with Tree-Based Data Mining Classification Techniques by Using KDD.Lect. Notes Inst. Comput. Sci. Soc. Informatics Telecommun. Eng.,2018 [14] 黄志球,Fang, Bing-Wu,Fang, Bing-Wu等.Runtime Verification of States Unobservable Cyber-Physical System.Tien Tzu Hsueh Pao,2018 [15] 黄志球,,等.P-Spec Policy Model-based Service Selection Approach for Privacy-aware Service Composition Establishment.2ND INTERNATIONAL CONFERENCE ON COMMUNICATIONS, INFORMATION MANAGEMENT AND NETWORK SECURITY (CIMNS 2017),2017 [16] 黄志球,,等.服务组合安全隐私信息流静态分析方法.软件学报,2017 [17] 黄志球,,等.基于CPA的抽象解释分析方法研究.计算技术与自动化,2017 [18] 黄志球,,等.基于混合贝叶斯网络的混合系统安全性分析方法.电子学报,2017 [19] 黄志球,,等.支持抽象解释的静态分析方法的形式化体系研究.计算机科学,2017 [20] 黄志球,,等.upsilon-Support vector machine based on discriminant sparse neighborhood preserving embedding.PATTERN ANALYSIS AND APPLICATIONS,2017

学术兼职

国防科技工业质量专家委员会委员 国家教育部计算机基础教学(理工类)指导委员会委员 中国计算机学会“软件工程”专业委员会委员 中国计算机学会“系统软件”专业委员会委员 工信部重点实验室“高安全系统的软件开发与验证重点实验室”主任 IEEE计算机学会南京分会副主席 江苏省软件人才基金会理事 江苏省计算机学会常务理事