个人简介
招生专业
083500-软件工程
081202-计算机软件与理论
070104-应用数学
招生方向
程序设计验证
形式化方法
符号计算与自动推理
教育背景
1991-09--1994-07 中科院系统科学研究所 博士学位
工作简历
2001-03--今 中科院成都计算机应用研究所 研究员/博士生导师
1997-01--2005-12 德国Max-Planck计算机科学研究所/Mannheim大学 研究员
1994-08--1996-12 北京大学数学科学学院 博士后/副教授
教授课程
进程代数、 计算机科学中的逻辑、 模型检测方法、 代数符号计算、 自动推理技术、 人工智能
奖励信息
（1） 德国马普学会奖学金，其他级，1997
专利成果
（1） 企业多遗留系统的基础数据交换验证平台，发明，2008，第1作者，专利号：200810045874.3
（2） 基于交互式马尔可夫链模型检测的嵌入式系统性能评价技术方案，发明，2009，第1作者，专利号：200910059677.1
（3） 企业应用集成平台构建方法和体系结构，发明，2008，第2作者，专利号：200810045875.8
发表著作
（1） 进程代数-对称与动作细化，Process Algebra-Symmetry and Action Refinement，科学出版社，2007-07，第2作者
（2） 交互式马尔科夫链-并发系统的设计、验证与评估，Interactive Markov Chains-Design, Verification and Evaluation of Concurrent Systems，科学出版社，2007-07，第1作者
科研项目
（1） 半代数混杂系统形式化分析与验证的例证法研究，主持，国家级，2015-01--2018-12
（2） 近似形式化方法—实微分多项式进程代数研究，主持，国家级，2014-01--2017-12
（3） IC验证平台的设计、分析与测试，主持，研究所（学校）级，2012-09--2013-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
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） Specifying Safety and Liveness of Semi-algebraic Transition Systems，Journal of Computational Information Systems，2015，通讯作者
（2） Quantitative Models for Complex Physical Systems，Advanced Materials Research，2015，通讯作者
（3） Approximate Trace and Singleton Failures Equivalences for Transition Systems，Journal of Systems Engineering and Electronics，2015，通讯作者
（4） Quantitative Specification of Semi-algebraic Transition Systems with Metrics，Journal of Information and Computational Science，2015，通讯作者
（5） Interleaving Semantics and Action Refinement in Event Structures，Computer Modeling and New Technologies，2014，通讯作者
（6） Approximate Trace Equivalence of Real-time Linear Algebraic Transition Systems，Computer Modeling and New Technologies，2014，通讯作者
（7） Approximate Bisimulation Equivalence and Variable Refinement，Applied Mathematics and Information Sciences，2014，第2作者
（8） Approximate Equivalence of the Hybrid Automata with Taylor Theory，Journal of Applied Mathematics，2014，第2作者
（9） Semantic Consistency Checking in Building Ontology From Heterogeneous Sources ，Journal of Applied Mathematics，2014，通讯作者
（10） On Fuzzy Rough Sets and Their Topological Structures，Mathematicial Problems in Engineering，2014，通讯作者
（11） Automata-Based Analysis of Stage Suspended Boom Systems，Journal of Applied Mathematics，2013，通讯作者
（12） Dynamic Evolution of Requirements Goal Deployed on Network Environment，International Journal of Innovations in Information Technology，2013，通讯作者
（13） Dynamic Evolution of Requirements Process Model Deployed on Network Environment with PZN，Journal of Computational Information Systems，2013，通讯作者
（14） Consistency Verification between Goal Model and Process Model in Requirement Analysis of Networked Software，Journal of Computational and Theoretical Nanoscience，2013，通讯作者
（15） Approximate Completed Trace Equivalence of Three Dimensional t Model Nonlinear Algebraic Hybrid Systems，Applied Mathematics and Information Sciences，2013，通讯作者
（16） Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling，Journal of Computers，2013，第2作者
（17） Approximate Bisimulation for High-level Datapaths in Intelligent Trtation Systems，Advances in Mechnical Engineering，2013，通讯作者
（18） Approximate Bisimualtion and Optimization of Software Programs Based on Symbolic-Numeric Computation，Mathematical Problems in Engineering，2013，通讯作者
（19） Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches，Journal of Applied Mathematics，2013，第2作者
（20） Implementation Error Detection Method for Software Validation，Journal of Applied Mathematics，2013，第3作者
（21） Wus Characteristic Set Method for SystemVerilog Assertions Verification，Journal of Applied Mathematics，2013，第2作者
（22） Applying Wu’s Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking，Journal of Convergence Information Technology，2012，第3作者
（23） Mathematical Analysis of Stage-Based Programmable Logic Controller，Computers and Mathematics with Applications，2012，第4作者
（24） Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical Calculation，Journal of Information and Computational Science，2012，通讯作者
（25） Requirement Verification of Networked Software Goals with Multi-valued Logic，International Journal of Advancements in Computing Technology，2012，通讯作者
（26） A Clustering Analysis Method Based on Population Migration Algorithm，Journal of Computational Information Systems，2012，通讯作者
（27） Approximate Completed Trace Equivalence of Inhomogeneous Linear Transition Systems，International Journal of Advancements in Computing Technology，2012，通讯作者
（28） Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm with Simplex Search Method for System of Nonlinear Equations，Journal of Information ，2011，第3作者
（29） Stochastic Process Algebra with Value-Passing and Weak Time Restrictions，Journal of Software，2011，第2作者
（30） Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm for Fixed Point Equation，Journal of Information and Computational Science，2011，第2作者
（31） Approximate Equivalence and Optimization for High-level Datapath，Journal of Computational Information Systems，2011，通讯作者
（32） Runtime Verification with Multi-valued Formula Rewriting，TASE 2010，2010，第3作者
（33） Process Algebra Approach to Verifying Safety Specification of Hybrid Systems，ICCSN 2009，2009，第2作者
（34） Probabilistic Modal Kleene Algebra and Hoare-Style Logic，ICNC 2008，2008，第2作者
（35） Multi-Valued Model Checking via Groebner Basis Approach，TASE 2007，2007，第2作者
（36） Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity，Acta Informatica，2006，第2作者
（37） Action Refinement for Real-Time Concurrent Processes with Urgency，J Computer Sci and Technol，2005，第2作者
（38） Symmetric Structure in Logic Programming，J Computer Sci and Technol，2004，第1作者
（39） Towards Action Refinement for True Concurrent Real Time，Acta Informatica，2003，第2作者
（40） Bundle Event Structures: A Revised Cpo Approach，Information Processing Letters，2002，第3作者
（41） CWA Formalizations in Multi-Valued Logics，J Computer Sci and Technol，2001，第1作者
（42） First-Order Polynomial Based Theorem Proving，Mathematics Mechanization and Applications，2000，第1作者
（43） Symmetry and Logic Programming，Proc. 11th Nordic Workshop on Programming Theory，1999，第1作者
（44） Well-Behaved Inference Rules for First-Order Theorem Proving，J Automated Reasoning，1998，第1作者
（45） Mechanical Geometry Theorem Proving Based on Groebner Bases，J Computer Sci and Technol，1997，第1作者
（46） On Theorem Proving Using Generalized Odd-Superposition II，Sci. China，1996，第1作者
（47） Remainder Method for the First-Order Theorem Proving，ASCM 1995, Scientists Incorporated, Japan，1995，第1作者
（48） An Algebraic Method to Decide the Deduction Problem in Propositional Many-Valued Logics，ISMVL 1994，1994，第1作者
（49） Green Equivalences and Regular Problem for Special Monoids，ISSAC 1993，1993，第1作者
学术兼职
2011-01--今 四川省专家评议委员会，委员
2011-01--今 中国数学会计算机代数专业委员会，委员
京公网安备 11010802027423号