Welcome to Yang Zhao's Homepage

MS Logo

赵阳 Yang Zhao

Department of Computer Science & Engineering
University of California at Riverside


Research | Publications | Teaching | Resume

I graduated from UC Riverside in August, 2013. Now I am working for Microsoft in Redmond, WA.

I come from Xi'an, Shaanxi, China. From 2008 to 2013, I worked in Logic and Stochastic Verification Lab with Dr. Gianfranco Ciardo.

Here is my resume.

Research

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.

Teaching

Publication

Conference paper: Journal paper: Workshop paper:

Education

Award

Personal