教师介绍

教师姓名
吴恒洋

职务职称
副教授

研究方向
计算机软件与理论；可信计算；形式化方法

联系电话


E-mail
wuhy@sspu.edu.cn

通讯地址
上海浦东金海路2360号16楼401室

个人简介

2019.9-至今 上海第二工业大学，计算机与信息工程学院，副教授
2016.8-2019.8 华东师范大学，软件工程学院，副研究员
2007.9-2016.7 杭州电子科技大学，信息工程学院，副教授
2008.3-2012.3 华东师范大学系统科学流动站， 博士后
2004.9-2007.6 上海师范大学，数理信息学院， 博士,

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

论文：
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.Y. Wu,Y. X. Deng, Logical characterizations of simulation and bisimulation for fuzzy transition systems, Fuzzy Sets and Systems, 301（2016): 19-36(SCI 1区，TOP).
4.H.Y. Wu, Y.X. Chen, Semantics of non-deterministic possibility computation, Fuzzy Sets and Systems, 199(2012):47-63(SCI 1区,TOP).
5.H.Y. Wu,T.L. Chen, T.T.Han, Y.X. Chen, Bisimulations for fuzzy transition systems revisited, International Journal of Approximate reasoning, 99(2018): 1-11 (CCF B).
6.H.Y. Wu, Measurement of refinement and correctness, Frontiers of Computer Science in China，3(4) (2009): 465-471(SCI 4区).
7.吴恒洋，命令式模糊程序语言的语义,计算机学报, 36(2013):862-869(EI).
8.H.Y. Wu, Y. X. Chen, Coalgebras for fuzzy transition systems, ENTCS, 301(2014):91-101(EI).
9.H.Y. Wu, Y.X. Chen, A duality theorem for quantitative semantics, ENTCS, 257(2009):87-97(EI).
10.H.Y. Wu,M. Zhang, Y. X. Chen, On denotational semantics of spatial-temporal consistency language-STeC, TASE 2013(CCF C， EI).
11.T.M. Bu,H.Y. Wu（通讯）,Y.X.Chen, Computing behavioural distance for fuzzy transition systems,TASE 2017(CCF C， EI).
12.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).


主要科研项目

主持6项
1.描述模糊性的可能性论域理论研究, 编号: LY13F020046，浙江省自然科学基金,2013/01-2015/12
2.概率程序的精化演算研究, 编号: 09R**，上海市博士后基金, 2009/06-2011/06
3.软件形式语义模型研究，上海市高可信计算重点实验室开放课题，2010/09-2011/09
4.多粒度Kripke结构的互模拟研究，广西可信软件重点实验室开放课题，2019/05-2021/04
5.浙江省高校优秀青年教师基金以及浙江省教育厅基金
6.轨道交通计算机联锁产品软件可信性测评, 上海富欣智能交通控制有限公司, 2018/09-2019/09, 20万
参与4项
1.具有时空一致性的软件形式化理论与方法的研究, 编号: **,国家自然科学基金, 2014/01-2017/12, (课题骨干）
2.近似推理的区间值模型及其逻辑基础, 编号: **, 国家自然科学基金, 2018/01-2021/12, (课题骨干)
3.具有模糊性程序语义模型的研究, 编号: **,国家自然科学基金, 2007/01-2009/12, (课题骨干)
4.软件可信性度量模型的研究, 编号: 2007AA01Z189,国家高科技技术研究发展计划, 2007/01-2009/12, （课题骨干）

荣誉及获奖