NOTES

Photo Gallery

VIDEOS

You are now here Home > Academics > Professors >

CS:Yang,Guowu

published: 2015-12-09 21:21:34       hits: 

name : Yang,Guowu Sex: male phone: 15928606207
email: guowu@uestc.edu.cn office-address: Main Building B1-207, QingShui Campus
PH.D  Supervisor: Yes Master Supervisor Yes
major: Computer Science and Technology
research interst: formal verification, logic synthesis in quantum computing and non-linear control theory
Biography: Professor Guowu Yang received his Ph.D. degree in electronic and computer engineering from Portland State University in USA in 2005. He was a research associate at Computer Science department of Portland State University from 2005 to 2006. His research interests include formal verification, logic synthesis in quantum computing and non-linear control theory.He published over 80 papers, including over 40 SCI papers.
Education experience: Ph. D. Degree: School of Electronic and Computer Engineering in Portland State University, 2005.

M. Sc. Degree: Wuhan University of Technology, 1999.

B.Sc. Degree: Department of Mathematics, University of Science and Technology of China, 1989.
Selected Publications: [1]Desheng Zheng, Guowu Yang, Xiaoyu Li, Zhicai Wang, Feng Liu, Lei He, “An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks”, PLOS ONE, 8(4), 1-7, APR. 2013.
[2] Wensheng Guo, Guowu Yang, William N.N. Hung and Xiaoyu Song, “Complete Boolean Satisfiability Solving Algorithms Based on Local Search”, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 28(2), 247-254, MAR. 2013.
[3]Guowu Yang, William N.N. Hung, Xiaoyu Song and Wensheng Guo, “A Transformation-Based Approach to Implication of GSTE Assertion Graphs”, JOURNAL OF APPLIED MATHEMATICS, 709071, 2013.
[4]Guowu Yang, Fei Xie, William N.N. Hung, Xiaoyu Song, Marek A. Perkowski, “Realization and synthesis of reversible functions”, Theoretical Computer Science, 412(17), 2011-8, 1606-1613.
[5]Guowu Yang, William N.N. Hung, Xiaoyu Song, Marek A. Perkowski, “Exact synthesis of three-qubit quantum circuits from non-binary quantum gates”, International Journal of Electronics, Volume 97 Issue 4, 475-489, 2010.
[6]Guowu Yang, Xiaoyu Song, William N.N. Hung, Marek A. Perkowski, “Synthesis of Reversible Circuits with Minimal Costs”, Calcolo, 45, 193-206, 2008.
[7]Guowu Yang, Xiaoyu Song, Marek A. Perkowski, William N.N. Hung and Seo, Chang-Jun, “Minimal universal library for n x n reversible circuits”, Computers & Mathematics with Applications, 56 (1): 160-165 JUL 2008.
[8]Guowu Yang, Xiaoyu Song, William N.N. Hung, and Marek A. Perkowski, “Bi-directional Synthesis of 4-bit reversible Circuits”, The Computer Journal, Vol. 51, No. 2, March 2008, pp. 207-215.
[9]Fei Xie, Guowu Yang, and Xiaoyu Song, “Component-Based Hardware/Software Co-Verification for Building Trustworthy Embedded Systems”. Journal of Systems and Software, v 80, n 5, May, 2007, p 643-654.