Welcome to Yang Zhao's Homepage

赵阳 Yang Zhao

Department of Computer Science & Engineering
University of California at Riverside

• Email: ZHAOY(lowercase) [at] cs.ucr.edu
• Office: Room 465, Winston Chung Hall

I come from Xi'an, Shaanxi, China. Now I am a fourth-year Ph.D student and working in Logic and Stochastic Verification Lab with Dr.Gianfranco Ciardo. Here is my resume.

• Multi-valued decision diagrams (MDD), asynchronous systems verification and testing
• Symbolic model checking for asynchronous systems

These techniques are implemented in our tool SMART: the Stochastic Model checking Analyzer for Reliability and Timing

This is my WikiCFP list of conferences on formal method, verification and test.

• 2011 Fall: CS179K
• 2010 Spring: CS179K, CS5
• 2010 Winter, 2009 Fall: CS008

• Yang Zhao and Xiaoqing Jin and Gianfranco Ciardo, A Symbolic Algorithm for Shortest EG Witness Generation, 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), pages 68-75, IEEE Computer Society
• Yang Zhao and Gianfranco Ciardo, Symbolic Computation of Strongly Connected Components Using Saturation, Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, pages 202-211, Langley Research Center, Hampton VA 23681-2199, USA, April 2010. NASA. [PDF]
• Yang Zhao and Gianfranco Ciardo, Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation, In Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS 5799, pages 368-381. Macao, China, Oct. 2009. [PDF]

• Yang Zhao and Gianfranco Ciardo, Symbolic Computation of Strongly Connected Components and Fair Cycles Using Saturation, Innovations in Systems and Software Engineering. [Link]

Education

• Ph.D Student (Sep. 2008 - now): Department of Computer Science & Engineering, University of California, Riverside, U.S.
• M.S. (Sep. 2005 - Jul. 2008): Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
  • Advisor: Prof. Xiaowei Li
  • Research: Hardware verification, SAT and its applications in formal verification, coverage-driven test generation for RTL designs, previous publications
  • Thesis: Formal Verification Techniques Based on Satisfiability
• B.S. (Sep. 2001 - Jul. 2005): Department of Electronics, Peking University, Beijing, China
• Minor: Mathematics, School of Mathematics, Peking University

Miscellaneous

• My Facebook
• My favorate site for movies and musics (in Chinese)
• Life Academy: the manual for our lives (in Chinese)
• I love writing essays, here is my best selection (in Chinese).