External Reviewer, IEEE Real-Time Systems Symposium (RTSS) 2012, 2013.
External Reviewer, International Conference on Computer-Aided Design (ICCAD) 2012.
External Reviewer, International Conference on Formal Engineering Methods (ICFEM) 2012.
External Reviewer, ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS) 2013.
External Reviewer, 8th IEEE International Symposium on Industrial Embedded Systems (SIES) 2013.
Volunteer, CPSWeek 2013.
I like playing badminton. I was in our college badminton team for four years in undergraduate. Now I am into the group exercise at Penn's gym.
I also like other sports, e.g., table tennis and tennis.