|
|
 |
 |
Dr.
Yang's primary research
interest is computer system reliability, which spans the spectrum from
hardware design automation to software engineering. He is particularly
interested in model checking techniques to improve software
reliability. His research is supported by National Science Foundation(NSF), Office of Naval Research(ONR),and NEC
Labs America Inc. For more information about his research, please visit his publication and research sites.
Dr. Yang received
his Ph.D. from the University of Pennsylvania, M.S. from Rice University, and B.S. from the University of Science and Technology of China, all in computer science.
He published more than 30 papers in journals and conferences with h-index number 11, and holds 5 U.S. patents. He is a co-winner of the 2008 ACM TODAES best paper award,
and the winner of the 2008 college (CEAS) outstanding new researcher award at Western Michigan University. Dr.
Yang
is a senior
member of the Institute of Electrical and Electronics
Engineering (IEEE), and IEEE Computer Society.
|
|
 
Dr. Yang is grateful to the following research sponsors. |
|
|
| |
|
 |