083500-软件工程
081202-计算机软件与理论
070104-应用数学

程序设计验证
形式化方法
符号计算与自动推理

1991-09--1994-07 中科院系统科学研究所 博士学位

   

2001-03~现在, 中科院成都计算机应用研究所, 研究员/博士生导师
1997-01~2005-12,德国Max-Planck计算机科学研究所/Mannheim大学, 研究员
1994-08~1996-12,北京大学数学科学学院, 博士后/副教授

2011-01--今 四川省专家评议委员会，委员
2011-01--今 中国数学会计算机代数专业委员会，委员

进程代数、 计算机科学中的逻辑、 模型检测方法、 代数符号计算、 自动推理技术、 人工智能

   

（1） 德国马普学会奖学金，其他级，1997

[1] 吴尽昭, 苏伟, 张久文, 蔡川, 雷晖, 刘映杰. 基于DILATE_TLSTM的港口船舶轨迹预测方法. CN: CN113240199B, 2022-10-28.

[2] 苏伟, 张久文, 吴尽昭, 熊菊霞, 张嘉琦, 刘映杰. 一种基于GMM-DNN混合模型预测船舶主机功率方法. CN: CN113240201A, 2021-08-10.

[3] 张久文, 苏伟, 吴尽昭, 张嘉琦, 赵坤宇, 蔡川. 一种基于TCN模型的港口船舶轨迹预测方法. CN: CN113240198A, 2021-08-10.

[4] 熊菊霞, 吴尽昭, 黄留佳, 王秋红. 一种数据挖掘算法受控切换消息的传输方法及系统. CN: CN111465055B, 2020-10-09.

[5] 苏伟, 吴尽昭, 张久文, 林和, 许存禄, 蒋琪. 一种基于Transformer的汉盲翻译方法及系统. CN: CN111581985A, 2020-08-25.

[6] 苏伟, 张久文, 吴尽昭, 郭弋平, 王鹏, 张嘉琦. 基于多种通信方式的船联网多传感器节点控制器及其系统. CN: CN211267090U, 2020-08-14.

[7] 吴尽昭, 杨国武, 曾骁, 王子裕, 熊菊霞. 一种基于矩阵等价的布尔函数仿射等价判定方法. CN: CN110598165A, 2019-12-20.

[8] 杨国武, 陈浩, 吴尽昭, 黄勇, 杨晓强, 熊菊霞, 熊招辉, 王子裕. 一种自适应错词和生词的印尼新闻文本分类方法. CN: CN110008341A, 2019-07-12.

[9] 何安平, 吴尽昭, 余旅莹. 一种基于FPGA的高频异步随机数发生器. CN: CN107678731A, 2018-02-09.

[10] 吴尽昭, 何安平, 郭慧波, 冯广博, 刘晓庆, 熊菊霞, 王娟. 一种基于异步数据通路的RSA算法. CN: CN107404380A, 2017-11-28.

[11] 何安平, 吴尽昭, 郭慧波, 冯广博, 刘晓庆, 熊菊霞, 王娟. 一种基于异步数据通路的密码芯片. CN: CN107302432A, 2017-10-27.

[12] 何安平, 吴尽昭, 刘晓庆, 冯广博, 郭慧波, 熊菊霞, 王娟. 一种基于FPGA的64位异步乘法器. CN: CN107092462A, 2017-08-25.

[13] 何安平, 吴尽昭, 宋晓宇, 毛乐乐, 熊菊霞. 基于FPGA的SAT自动一体化求解器. CN: CN105740206A, 2016-07-06.

[14] 吴尽昭, 杨裔, 何安平, 慕富强, 吴昊, 刘超群, 徐茂文. 基于无人机和无线传感器网络的监控系统. CN: CN204270491U, 2015-04-15.

   

[1] Xu, Zhenxing, Wu, Jinzhao. MGPS: Midpoint-Series Group Preserving Scheme for Discretizing Nonlinear Dynamics. SYMMETRY-BASEL[J]. 2022, 14(2): http://dx.doi.org/10.3390/sym14020365.
[2] Wu, Peng, Hou, Zhenjie, Liu, Jiqiang, Wu, Jinzhao. Reasoning Method Based on Intervals with Symmetric Truncated Normal Density. SYMMETRY-BASEL[J]. 2022, 14(1): http://dx.doi.org/10.3390/sym14010025.
[3] Liu, Guiqing, Wu, Jinzhao. Joint generative and camera-aware clustering for unsupervised domain adaptation on person re-identification. JOURNAL OF ELECTRONIC IMAGING[J]. 2022, 31(2): http://dx.doi.org/10.1117/1.JEI.31.2.023027.
[4] Xu, Zhenxing, Wu, Jinzhao. Computing flow pipe of embedded hybrid systems using deep group preserving scheme. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS[J]. 2022, 25(2): 1207-1220, http://dx.doi.org/10.1007/s10586-021-03495-x.
[5] Liu, Defu, Zhao, Jiayi, Wu, Jinzhao, Yang, Guowu, Lv, Fengmao. Multi-category classification with label noise by robust binary loss. NEUROCOMPUTING[J]. 2022, 482: 14-26, http://dx.doi.org/10.1016/j.neucom.2022.01.031.
[6] Peng Wu, Ning Xiong, Juxia Xiong, Jinzhao Wu. Reasoning Method between Polynomial Error Assertions. INFORMATION[J]. 2021, 12(309): [7] 武鹏, 吴尽昭. 基于线性误差断言的推理方法. 计算机应用[J]. 2021, 41(8): 2199-2204, http://lib.cqvip.com/Qikan/Article/Detail?id=7105328017.
[8] 熊菊霞, 吴尽昭, 王秋红. 邻域互信息熵的混合型数据决策代价属性约简. 小型微型计算机系统[J]. 2021, 42(8): 1584-1590, http://lib.cqvip.com/Qikan/Article/Detail?id=7105472292.
[9] Jingjing Yang, Jiaxing Liu, Runkai Han, Jinzhao Wu. Generating and Restoring Private Face Images for Internet of Vehicles Based on Semantic Features and Adversarial Examples. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS[J]. 2021, 22(9): 16799-16809, https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9511319.
[10] Peng Wu, Ning Xiong, Jiqiang Liu, Liujia Huang, Zhuoya Ju, Yannan Ji, Jinzhao Wu. Interval Number-Based Safety Reasoning Method for Verification of Decentralized Power Systems in High-Speed Trains. MATHEMATICAL PROBLEMS IN ENGINEERING[J]. 2021, 2021: https://doaj.org/article/2abce0994909470aac83688ff5634782.
[11] Yang, Jingjing, Liu, Jiaxing, Han, Runkai, Wu, Jinzhao. Transferable face image privacy protection based on federated learning and ensemble models. COMPLEX & INTELLIGENT SYSTEMS[J]. 2021, 7(5): 2299-2315, http://dx.doi.org/10.1007/s40747-021-00399-6.
[12] Liu, Guiqing, Wu, Jinzhao. Video-based person re-identification by intra-frame and inter-frame graph neural network. IMAGE AND VISION COMPUTING[J]. 2021, 106: http://dx.doi.org/10.1016/j.imavis.2020.104068.
[13] Nartey, Obed Tettey, Yang, Guowu, Wu, Jinzhao, Asare, Sarpong Kwadwo. Semi-Supervised Learning for Fine-Grained Classification With Self-Training. IEEE ACCESS[J]. 2020, 8: 2109-2121, https://doaj.org/article/da8636969d0f4e54bdc23d1ce3470fed.
[14] 熊菊霞, 吴尽昭. 高维数据流异常节点动态跟踪仿真研究. 计算机仿真[J]. 2020, 37(10): 445-449, http://lib.cqvip.com/Qikan/Article/Detail?id=7103175967.
[15] 熊菊霞, 吴尽昭. 异构复杂信息网络敏感数据流动态挖掘. 计算机工程与科学[J]. 2020, 42(4): 628-633, http://lib.cqvip.com/Qikan/Article/Detail?id=7101470368.
[16] 吴尽昭. Robust Semi-Supervised Traffic Sign Recognition via Self-Training and Weakly-Supervised Learning. Sensors. 2020, [17] Xiong, Juxia, Wu, Jinzhao. Construction of approximate reasoning model for dynamic CPS network and system parameter identification. COMPUTER COMMUNICATIONS[J]. 2020, 154: 180-187, http://dx.doi.org/10.1016/j.comcom.2020.02.073.
[18] Xiong, Juxia, Wu, Jinzhao. Construction of information network vulnerability threat assessment model for CPS risk assessment. COMPUTER COMMUNICATIONS[J]. 2020, 155: 197-204, http://dx.doi.org/10.1016/j.comcom.2020.03.026.
[19] Juxia Xiong, Jinzhao Wu, Ying Zhang, Qinggeng Jin. Some prospective criteria for non-unique solutions of ordinary differential equations. SYSTEMS SCIENCE & CONTROL ENGINEERING[J]. 2019, 7(2): 48-52, https://doaj.org/article/3d29fb575ef349189f72301896188863.
[20] Zhang, Hui, Wu, Jinzhao. Formal verification and quantitative metrics of MPSoC data dynamics. FORMAL ASPECTS OF COMPUTING[J]. 2018, 30(2): 219-237, [21] Zhang, Juling, Yang, Guowu, Guo, Wenqiang, Wu, Jinzhao, IEEE. Cofactor-based NPN Boolean Matching Algorithm. 2017 3RD INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT (ICIM 2017)null. 2017, 426-431, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000414284200086.
[22] Guo, Huibo, He, Anping, Feng, Guangbo, Wu, Jinzhao, IEEE. An Innovative Implementation of Asynchronous for-Loop Circuit with Click Micropipeline. 2017 2ND IEEE INTERNATIONAL CONFERENCE ON INTEGRATED CIRCUITS AND MICROSYSTEMS (ICICM)null. 2017, 68-73, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000425209500015.
[23] 谢盈, 吴尽昭, 熊菊霞, 张晖. 负载自适应的异构MPSoC 任务调度算法研究. 工程科学与技术[J]. 2017, 49(2): 190-195, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=5957985&detailType=1.
[24] 吴尽昭. Anomaly Detection for Categorical Observations Using Latent Gaussian Process. International Conference on Neural Information Processing. 2017, [25] Zhang, Juling, Yang, Guowu, Hung, William N N, Wu, Jinzhao. A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature. IEEE ACCESS[J]. 2017, 5: 27777-27785, https://doaj.org/article/654f2739d02c4f9c9f6683bd94eab096.
[26] 谢盈, 吴尽昭, 丁旭阳, 张晖. 一种负载感知的异构MPSoC任务调度算法. 电子科技大学学报[J]. 2017, 46(6): 890-895, http://lib.cqvip.com/Qikan/Article/Detail?id=7000410827.
[27] 冯广博, 何安平, 吴尽昭, 冯志华. 基于异步NoC机制的Booth乘法器设计. 内蒙古大学学报：自然科学版[J]. 2017, 48(6): 703-710, http://lib.cqvip.com/Qikan/Article/Detail?id=673808840.
[28] 吴尽昭. Preservation of Dynamic Behaviours in a Hierarchical Event Structure. Journal of Software. 2016, [29] Wang Chao, Wu Jinzhao, Tan Hongyan, Fu Jun. Approximate Reachability and Bisimulation Equivalences for Transition Systems. 天津大学学报：英文版[J]. 2016, 22(1): 19-23, http://lib.cqvip.com/Qikan/Article/Detail?id=668341823.
[30] Zhang, Hui, Wu, Jinzhao, Lu, Jianguang, Tang, Juan. Safety verification of finite real-time nonlinear hybrid systems using enhanced group preserving scheme. CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS[J]. 2016, 19(4): 2189-2199, [31] Yan, Shuo, Yan, Lin, Wu, Jinzhao. Rough data-deduction based on the upper approximation. INFORMATIONSCIENCES[J]. 2016, 373: 308-320, http://dx.doi.org/10.1016/j.ins.2016.09.011.
[32] 吴尽昭. Specifying Safety and Liveness of Semi-algebraic Transition Systems. Journal of Computational Information Systems. 2015, [33] Wang Chao, Wu Jinzhao, Tan Hongyan. Revised Singleton Failures Equivalence for Labelled Transition Systems. CHINESE JOURNAL OF ELECTRONICS[J]. 2015, 24(3): 498-501, http://lib.cqvip.com/Qikan/Article/Detail?id=69689088504849534851484948.
[34] Fu, Jun, Wu, Jinzhao, Tan, Hongyan. A Deductive Approach towards Reasoning about Algebraic Transition Systems. MATHEMATICAL PROBLEMS IN ENGINEERING[J]. 2015, 2015: https://doaj.org/article/3193b43bb0dc412fa06944073aad7ead.
[35] 吴尽昭. Quantitative Models for Complex Physical Systems. Advanced Materials Research. 2015, [36] Wang, Chao, Wu, Jinzhao, Tan, Hongyan. Approximate trace and singleton failures equivalences for transition systems. JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS[J]. 2015, 26(4): 886-896, http://lib.cqvip.com/Qikan/Article/Detail?id=665867421.
[37] 吴尽昭. Quantitative Specification of Semi-algebraic Transition Systems with Metrics. Journal of Information and Computational Science. 2015, [38] Liu, Bai, Wu, Jinzhao, Xie, Zhucheng. Approximate Bisimulation Equivalence and Variable Refinement. APPLIED MATHEMATICS & INFORMATION SCIENCES[J]. 2014, 8(4): 1959-1966, https://www.webofscience.com/wos/woscc/full-record/WOS:000332452400054.
[39] 吴尽昭. Approximate Trace Equivalence of Real-time Linear Algebraic Transition Systems. Computer Modeling and New Technologies. 2014, [40] Yang, Shihan, Tan, Hongyan, Wu, Jinzhao. Semantic Consistency Checking in Building Ontology from Heterogeneous Sources. JOURNAL OF APPLIED MATHEMATICS[J]. 2014, 2014: https://doaj.org/article/6b0503980a7d4748be747c37fa151b66.
[41] He, Anping, Wu, Jinzhao, Yang, Shihan, Tan, Hongyan. Approximate Equivalence of the Hybrid Automata with Taylor Theory. JOURNAL OF APPLIED MATHEMATICS[J]. 2014, 2014: https://doaj.org/article/da1e9afb25af46dd9a10411710b2b864.
[42] 吴尽昭. Interleaving Semantics and Action Refinement in Event Structures. Computer Modeling and New Technologies. 2014, [43] Tang, Weidong, Wu, Jinzhao, Zheng, Dingwei. On Fuzzy Rough Sets and Their Topological Structures. MATHEMATICAL PROBLEMS IN ENGINEERING[J]. 2014, 2014: https://doaj.org/article/f65df475bdf143f9bfb9f69b3b12e6a2.
[44] He, Anping, Wu, Jinzhao, Yang, Shihan, Zhou, Yongquan, Wang, Juan. Automata-Based Analysis of Stage Suspended Boom Systems. JOURNAL OF APPLIED MATHEMATICS[J]. 2013, 2013: https://doaj.org/article/7aa0e987724c400d8dffe7f1a9276e8b.
[45] Gao, Xinyan, Zhou, Ning, Wu, Jinzhao, Li, Dakui. Wu's Characteristic Set Method for SystemVerilog Assertions Verification. JOURNAL OF APPLIED MATHEMATICS[J]. 2013, 2013: https://doaj.org/article/1b3bd6fb20d64f92b43fdc45e83f8f4e.
[46] 吴尽昭. Dynamic Evolution of Requirements Goal Deployed on Network Environment. International Journal of Innovations in Information Technology. 2013, [47] 吴尽昭. Approximate Bisimualtion and Optimization of Software Programs Based on Symbolic-Numeric Computation. Mathematical Problems in Engineering. 2013, [48] Zhou, Jiantao, Liu, Jing, Wu, Jinzhao, Zhong, Guodong. A Latent Implementation Error Detection Method for Software Validation. JOURNAL OF APPLIED MATHEMATICS[J]. 2013, 2013: https://doaj.org/article/5bac28450fed46bbbeed707058c717a0.
[49] Yang, Hao, Wu, Jinzhao, Zhang, Zhiwei, Liu, Yang. Approximate Completed Trace Equivalence of Three Dimensional t-Model Nonlinear Algebraic Hybrid Systems. APPLIED MATHEMATICS & INFORMATION SCIENCES[J]. 2013, 7(5): 1693-1697, https://www.webofscience.com/wos/woscc/full-record/WOS:000324313400006.
[50] 吴尽昭. Consistency Verification between Goal Model and Process Model in Requirement Analysis of Networked Software. Journal of Computational and Theoretical Nanoscience. 2013, [51] Zhou, Ning, Wu, Jinzhao, Gao, Xinyan. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. JOURNALOFAPPLIEDMATHEMATICS[J]. 2013, 2013: https://doaj.org/article/5cf05166cf0441e3b83567214a7e4299.
[52] 吴尽昭. Approximate Bisimulation for High-level Datapaths in Intelligent Trtation Systems. Advances in Mechnical Engineering. 2013, [53] 吴尽昭. Dynamic Evolution of Requirements Process Model Deployed on Network Environment with PZN. Journal of Computational Information Systems. 2013, [54] Yang, Shihan, Wu, Jinzhao, He, Anping, Rao, Yunbo. Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling. JOURNAL OF COMPUTERS[J]. 2013, 8(2): 372-379, [55] 吴尽昭. Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical Calculation. Journal of Information and Computational Science. 2012, [56] 吴尽昭. Applying Wu’s Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking. Journal of Convergence Information Technology. 2012, [57] 吴尽昭. A Clustering Analysis Method Based on Population Migration Algorithm. Journal of Computational Information Systems. 2012, [58] 吴尽昭. Approximate Completed Trace Equivalence of Inhomogeneous Linear Transition Systems. International Journal of Advancements in Computing Technology. 2012, [59] 吴尽昭. Requirement Verification of Networked Software Goals with Multi-valued Logic. International Journal of Advancements in Computing Technology. 2012, [60] 吴尽昭. Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm for Fixed Point Equation. Journal of Information and Computational Science. 2011, [61] 吴尽昭. Stochastic Process Algebra with Value-Passing and Weak Time Restrictions. Journal of Software. 2011, [62] He, Anping, Hung, William N N, Yang, Guowu, Wu, Jinzhao, Li, Lian. Mathematical analysis of stage-based programmable logic controller. COMPUTERS & MATHEMATICS WITH APPLICATIONS[J]. 2011, 61(7): 1769-1785, http://dx.doi.org/10.1016/j.camwa.2011.02.004.
[63] 吴尽昭. Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm with Simplex Search Method for System of Nonlinear Equations. Journal of Information. 2011, [64] 吴尽昭. Approximate Equivalence and Optimization for High-level Datapath. Journal of Computational Information Systems. 2011, [65] 吴尽昭. Runtime Verification with Multi-valued Formula Rewriting. TASE 2010. 2010, [66] Wu Jinzhao, Yang Shihan, IEEE COMPUTER SOC. Process Algebra Approach to Verifying Safety Specification of Hybrid Embedded Systems. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKSnull. 2009, 129-+, [67] Qiao Rui, Wu Jinzhao, Gao Xinyan, Guo MZ, Zhao L, Wang LP. Probabilistic Modal Kleene Algebra and Hoare-style Logic. ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 3, PROCEEDINGSnull. 2008, 652-+, http://dx.doi.org/10.1109/ICNC.2008.174.
[68] Wu Jinzhao, Zhao Lin, IEEE Comp Soc. Multi-valued model checking via groebner basis approach. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGSnull. 2007, 35-+, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000247666400003.
[69] MajsterCederbaum, M, Wu, JZ, Yue, HG. Refinement of actions for real-time concurrent systems with causal ambiguity. ACTA INFORMATICA[J]. 2006, 42(6-7): 389-418, http://dx.doi.org/10.1007/s00236-005-0172-4.
[70] Qin, GP, Wu, JZ. Action refinement for real-time concurrent processes with urgency. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2005, 20(4): 514-525, http://lib.cqvip.com/Qikan/Article/Detail?id=16157606.
[71] Wu, JZ, Fecher, H. Symmetric structure in logic programming. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2004, 19(6): 803-811, http://lib.cqvip.com/Qikan/Article/Detail?id=11309779.
[72] MajsterCederbaum, M, Wu, JZ. Towards action refinement for true concurrent real time. ACTA INFORMATICA[J]. 2003, 39(8): 531-577, http://dx.doi.org/10.1007/s00236-003-0117-8.
[73] Fecher, H, MajsterCederbaum, M, Wu, JZ. Bundle event structures: A revised cpo approach. INFORMATION PROCESSING LETTERS[J]. 2002, 83(1): 7-12, https://www.webofscience.com/wos/woscc/full-record/WOS:000175615200002.
[74] Wu, JZ. CWA formalizations in multi-valued logics. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2001, 16(3): 263-269, http://lib.cqvip.com/Qikan/Article/Detail?id=7415345.
[75] Wu Jinzhao. Chapter 11 - First-order polynomial based theorem proving. MATHEMATICS MECHANIZATION AND APPLICATIONS. 2000, 273-294, http://dx.doi.org/10.1016/B978-012734760-8/50012-0.
[76] Wu, JZ, Liu, ZJ. Well-behaved inference rules for first-order theorem proving. JOURNAL OF AUTOMATED REASONING[J]. 1998, 21(3): 381-400, http://dx.doi.org/10.1023/A:1006027228476.
[77] Wu Jinzhao. Mechanical Geometry Theorem Proving Based on Groebner Bases. 计算机科学技术学报：英文版[J]. 1997, 12(1): 10-, http://lib.cqvip.com/Qikan/Article/Detail?id=6795183.
[78] 吴尽昭. On Theorem Proving Using Generalized Odd-Superposition II. Sci. China. 1996, [79] 吴尽昭. Remainder Method for the First-Order Theorem Proving. ASCM 1995, Scientists Incorporated, Japan. 1995, [80] 吴尽昭. An Algebraic Method to Decide the Deduction Problem in Propositional Many-Valued Logics. ISMVL 1994. 1994, [81] 吴尽昭. Green Equivalences and Regular Problem for Special Monoids. ISSAC 1993. 1993, 

（1） 交互式马尔科夫链-并发系统的设计、验证与评估, Interactive Markov Chains-Design, Verification and Evaluation of Concurrent Systems, 科学出版社, 2007-07, 第 1 作者
（2） 进程代数-对称与动作细化, Process Algebra-Symmetry and Action Refinement, 科学出版社, 2007-07, 第 2 作者
（3） 模型检测, Model Checking, 电子工业出版社, 2018-11, 第 1 作者

   

（ 1 ） 近似形式化方法—实微分多项式进程代数研究, 主持, 国家级, 2014-01--2017-12
（ 2 ） 半代数混杂系统形式化分析与验证的例证法研究, 主持, 国家级, 2015-01--2018-12
（ 3 ） IC验证平台的设计、分析与测试, 主持, 市地级, 2012-09--2013-12
（ 4 ） 片上多核处理器高层次架构设计的验证理论与关键技术, 主持, 省级, 2012-04--2016-03
（ 5 ） 面向东南亚的汉语学习MOOC平台关键问题研究及其示范应用, 主持, 省级, 2016-05--2019-05
（ 6 ） 半代数模型检测方法的误差分析与控制, 主持, 国家级, 2018-01--2021-12

（1） Approximation to Linear Algebraic Transition System. Eighth International Conference on Emerging Intelligent Computing Technology and Applications，2012-10，Zhiwei Zhang, Jinzhao Wu, Hao Yang
（2） Generating Non-Linear Invariant for Polynomial Transition System，2010-12，N. Zhou, J. Wu
（3） Timed CSP for Safety Specification of Hybrid Systems，2008-08，J Wu, S. Yang

已指导学生

陈冬火  博士研究生  081202-计算机软件与理论  

覃广平  博士研究生  081202-计算机软件与理论  

闫炜  博士研究生  081202-计算机软件与理论  

高新岩  博士研究生  081202-计算机软件与理论  

蒋建民  博士研究生  081202-计算机软件与理论  

曾琼  硕士研究生  081202-计算机软件与理论  

张登先  硕士研究生  081203-计算机应用技术  

杨世瀚  博士研究生  081202-计算机软件与理论  

陈剑锋  博士研究生  081202-计算机软件与理论  

周瑾  硕士研究生  081202-计算机软件与理论  

许振兴  硕士研究生  081203-计算机应用技术  

杨建书  硕士研究生  081202-计算机软件与理论  

陆翔升  硕士研究生  081203-计算机应用技术  

廖紫骅  硕士研究生  081203-计算机应用技术  

唐勇  硕士研究生  081203-计算机应用技术  

侯辉  硕士研究生  081203-计算机应用技术  

刘洋  博士研究生  081202-计算机软件与理论  

张廷招  硕士研究生  070104-应用数学  

张飞虎  硕士研究生  081203-计算机应用技术  

康青杨  硕士研究生  081203-计算机应用技术  

刘绍海  博士研究生  081202-计算机软件与理论  

刘白  博士研究生  081202-计算机软件与理论  

汤卫东  博士研究生  081202-计算机软件与理论  

杨浩  博士研究生  081202-计算机软件与理论  

冉俊轶  硕士研究生  081202-计算机软件与理论  

张志伟  博士研究生  081202-计算机软件与理论  

田瑞琴  硕士研究生  081202-计算机软件与理论  

汤琳  博士研究生  081202-计算机软件与理论  

张晖  博士研究生  081202-计算机软件与理论  

谢盈  博士研究生  081202-计算机软件与理论  

匡鹏  硕士研究生  070104-应用数学  

何洪辉  博士研究生  081202-计算机软件与理论  

熊菊霞  博士研究生  081202-计算机软件与理论  

曹俊月  博士研究生  083500-软件工程  

现指导学生

许振兴  博士研究生  081202-计算机软件与理论  

杨晶晶  博士研究生  081202-计算机软件与理论  

刘桂青  博士研究生  081202-计算机软件与理论