Meng Xu's Photo
Meng Xu

PhD Candidate in Computer and Information Science

Research Assistant at PRECISE lab

University of Pennsylvania

Advisor: Insup Lee and Linh Thi Xuan Phan

Email: mengxu at seas dot upenn dot edu

Biography

I am a PhD Candidate in Computer and Information Science at Penn. I have been working as the Research Assistant in the PRECISE lab since Feb. 2012. 
I received the Master of Scinece in Engineering in Computer and Information Science at University of Pennsylvania in May 2013 and the Bachelor in Software Engineering at Northwestern Polytechnical University in July 2011.

I was the Teaching Assistant for the following courses:

Please refer to my Resume for more details about me.

Research Interests:

Cyber Physical Systems; Real Time Systems; Real Time Virtualization; Embedded Systems; 

Currently, I am  maintaining the CARTS tool and the RT-Xen

CARTS tool is a compositional analysis tool for real time system.

RT-Xen is a real time virtualization system.

Publications: 

Talks: 


    Awards: 

     Outstanding Undergraduate Student in Shaanxi Province  2011
     Computer World Scholarship   2011
     Baosteel Scholarship  2010
     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

    Academic Activities:

    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.

    Hobbies:

    I like playing badminton. I was in our college badminton team for four years in undergraduate. Now I usually play badminton once or twice a week. 
    I also like other sports, e.g., table tennis and tennis. 

    You are visitor

    free url sumission