教师介绍

教师姓名

吴恒洋

职务职称

副教授

研究方向

形式化方法、可信计算、可信人工智能

招生方向

软件工程

计算机技术

人工智能

联系电话

13761865893

E-mail

wuhy@sspu.edu.cn

办公地址

上海浦东新区金海路2360号28号楼1013室

个人简介

学习工作经历：

2019.9-至今      上海第二工业大学，计算机与信息工程学院，副教授

2016.8-2019.8    华东师范大学，副研究员

2007.9-2016.7    杭州电子科技大学，副教授

2008.3-2012.3    华东师范大学系统科学流动站，博士后

2004.9-2007.6    上海师范大学，数理信息学院，博士.

主要社会兼职：

（1）中国理论计算机专业委员会，委员

（2）中国系统工程学会模糊数学与模糊系统专业委员会，常务委员

（3）《模糊系统与模糊数学》期刊编委

（4）上海可信智能专委会，常务委员.

主要论文、专利及著作情况

(1) H.Y.Wu,Y.X. Deng, Distribution-based behavioral distance for non-deterministic fuzzy transition systems,IEEE Transactions on Fuzzy Systems,   26(2018): 416-429 (SCI 1区，TOP).

(2) H.Y. Wu, Y.X. Chen, T.M. Bu, Y.X. Deng, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Fuzzy Sets and Systems, 333(2018):106-123 (SCI 1区, TOP).

(3) H.W. Tao, Y.X. Chen,H.Y. Wu(通讯)，R.M. Deng, A survey of software trustworthiness measurements,International Journal of Performability Engineering, 15(2019):2364-2372 (EI).

(4)   P.FWang,Y.X. Chen, H.Y.Wu（通讯），A hybrid clock logic system for CPS. ISKE 2019: 675-682 (EI).

(5) K.L He, H.Hermanns,H.Y.Wu, Y.X.Chen, Connection models for the Internet of Things. Frontiers Comput.Sci. 14(2020): 143401 (SCI 4区).

(6) H.W. Tao,Y.X. Chen, H.Y. Wu, Decomposition of attributes oriented software trustworthiness measure based on axiomatic approaches. QRS   Companion 2020:308-315(EI).

(7) Y.R. Zhang, H.Y. Wu,, Y.X. Chen, F.Mallet, A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems, Science of Computer Programming. 203 (2021): 102591

(CCF B，SCI).

(8) Kangli,He, H.Y. Wu(通讯)，Yixiang Chen, On divergence-sensitive weak probabilistic bisimilarity, Information and Ccomputation. 292(2023): 105033, (CCF A, SCI).

(9) Chenhao Gao, H.Y.Wu(通讯), An improved dynamic smooth weighted round-robin loadbalancing algorithm, Journal of Physics: Conference Series 2404 (2022) 012047, (EI).

(10) Rongqiang Zhang, Na Wang, H.Y.Wu, Cultural heritage triple Information extraction based on span pointer network, 2023 7th International Conference on Computer Science and Artificial Intelligence (CSAI 2023) (EI).

(11)Zhihuan Yan, Rong Pe, H.Y.Wu, Similarity propagation based semi-supervised  entity alignment. Engineering Applications of Artificial Intelligence,2024:1-13(SCI 1区)

(12)Zheng Zhang, H.Y.Wu(通讯), Na Wang,A knowledge-enhanced disease diagnosis method based on prompt learning and BERT integration. Journal on Artificial Intelligence. 7(2025): 17-37.

(13)Yan Zhou, H.Y.Wu(通讯), DSC-RTDETR: An improved RTDETR based crack detection on concrete

surface. Journal on Artificial Intelligence. 7(2025): 381-396.

主要科研项目

近年科研项目：

（1）国家自然科学基金， 地区基金（子课题），62162014，开放式模糊系统的模型检验研究，2021-01至2025-12，12万

（2） 国家自然科学基金， 面上项目（子课题），61773019，近似推理的区间值模型及其逻辑基础，2018-01至2021-12，3万

（3）轨道交通计算机联锁产品软件可信性测评, 上海富欣智能交通控制有限公司,主持， 2018/09-2019/09, 20万

荣誉及获奖