Cyber Physical Systems; Real Time Systems; Real Time Virtualization; Embedded Systems;
CARTS tool is a compositional analysis tool for real time system.
RT-Xen is a real time virtualization system.
|Graduate Fellowship from University of Pennsylvania||2013 - present|
|Outstanding Undergraduate Student in Shaanxi Province|| 2011
|Computer World Scholarship||2011|
|National Scholarship||2009, 2010|
|Outstanding Undergraduate in Research and Innovation of NPU||2010|
|First-Grade Scholarship of NPU||2008, 2009,2010|
|7720 Diligence Scholarship awarded by NPU||2008|
You are visitor
free url sumission