赵阳 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
Department of Computer Science & Engineering
University of California at Riverside
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.
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.