从形式化软件工程启航，“误”入业务流程数据分析与监控的'迷途'，应用系统开发虽充实而有趣，但仍希望借助AI赋能，拨云见日重新启航。

1. 1999-2003 集美大学 数学与应用数学 本科

2. 2003-2006 贵州大学 数学与应用数学  硕士

3. 2006-2009 武汉大学 计算机软件与理论  博士

4. 2015-2016 德国Ulm大学DBIS研究所 访学学者

1. 福建省自然科学基金面向项目：协作化业务过程的合规性监控的关键技术研究，负责人，2018-2021，已结题

2. 福建省自然科学基金青年项目：面向方面的服务软件演化的关键支撑技术研究，负责人，已结题

3. 福建省教育厅科技项目（A类）：语义过程模型的验证技术研究，负责人，已结题。

4. 福建省教育厅科技项目（B类）：过程感知信息系统的合规性验证技术研究，负责人，已结题

5. 福建省医学创新课题项目（2021CXA001）：基于大数据的老年病临床智能推荐决策模型研究, 2022-2024,参与

6.国家教育部（部委项目）：大数据分析实验实训教学研究，2018.05-2019.05,参与

7. 福建省自然科学基金面向项目：高效认证教育联盟区块链研究，2020-2023，参与

8.深信服（省局厅级）横项项目：基于大规模动态基础设施的安全管控和可信增强管理系统，2019.11-2021.10，参与人

9.国家自然基金专项项目：在线教育区块链高效认证机制研究,2019-2020,参与

10.国家自然科学基金青年项目：面向方面的过程感知信息系统演化方法研究，2015-1019参研.

11.国家自然科学基金面上项目: 基于事件的形式化模型的表达能力与工程方法研究，2018-2022,参与人。

12. 省级一般项目(省自然科学基金）：多租户云应用软件的建模与配置研究,参与人

[1] Huang, Ruohe; Xiao, Ruliang; Zhu, Weifu; Gong, Ping; Chen, Jinhui; Rida, Imad ; Towards an efficient real-time kernel function stream clustering method via shared nearest-neighbor density for the IIoT, Information Sciences, 2021, 566(2021): 364-378 .

[2] Zhang, Shi; Huang, Jin; Xiao, Ruliang; Du, Xin; Gong, Ping; Lin, Xinhong ; Toward more efficient locality-sensitive hashing via constructing novel hash function cluster, Concurrency andComputation: Practice and Experience (CCPE), 2021, 33(20): 1-21.

[3] Ping Gong; David Knuplesch; Zaiwen Feng; Jianmin Jiang ; bpCMon: A Rule-Based MonitoringFramework for Business Processes Compliance, International Journal of Web Services Research, 2017, 14(2): 81-103.

[6] 龚平，冯在文，蒋建民，一种高效的业务过程的合规性监控框架, 计算机集成制造系统，2017.5. 

[7]  Gong P.(龚平), Feng Z. W（冯在文）, et al. Rule-based Monitoring with event correlation for business process compliance. In: Proceedings of S2 international conference on Internet of Things, Servicers Society，November 14-15, pp. 39-47.2016.

[8] P. Gong(龚平), D. Knuplesch, M. Reichert, Rule-based monitoring framework for business process compliance, Technical Report UIB-2016-03, Ulm University.

[9] 龚平，冯在文. 基于标注的业务过程合规性验证方法. 计算机应用, 2014, 34(7): 2115-2123.

[8] 龚平，蒋建民， 张仕，“语义标识的过程模型的可执行性分析”，小型微型计算机系统，第12期，pp. 2618-2624, 2012.  

[10]  Ping Gong(龚平), Jianmin Jiang（蒋建民）, Shi Zhang, “Formal Analysis of OWL-S Process Model by FDR, in proceeding of APSCC(2011)”, Jeju, Korea, IEEE, pp.215-222, 2011.

[11]  Ping Gong, “Formal dynamic semantics for semantically annotated process model”, Journal of Convergence Information Technology, Vol. 7, No. 20, pp. 167 -174, 2012. 

[12] Ping Gong ,Jianmin Jiang, Shi Zhang, “FDR-based compositional verification for OWL-S process model”, Journal of Convergence Information Technology, Vol. 7, No. 12, pp. 398-409, 2012.

[13]  Jian-Min Jiang（蒋建民） ，Huibiao Zhu，Qin Li，Yongxin Zhao，Lin Zao，ShiZhang，Ping Gong（龚平），Zhong Hong，Donghuo Chen，Event-based mobility modeling and analysis，ACM Transactions on Cyber-Physical Systems，2017.2.20，1（2）：1~32[14] Jianmin Jiang（蒋建民）, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong（龚平）, Zhong Hong，Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embedded Comput. Syst. 14(4): 86 (2015)[15] Jianmin Jiang（蒋建民）, Shi Zhang, Ping Gong（龚平）, Zhong Hong: Configuring business process models. ACM SIGSOFT Software Engineering Notes 38(4): 1-10 (2013)