个人简历

黄志球，男，博士，教授，博士生导师，国家教育部计算机基础教学(理工类)指导委员会委员，国防科技工业质量专家委员会委员 ，中国计算机学会理事、“系统软件”专业委员会副主任、“软件工程”委员，中国电子学会软件定义推进委员会委员，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计算机学会南京分会副主席
江苏省软件人才基金会理事
江苏省计算机学会常务理事