Linh Thi Xuan PHAN
Research Assistant Professor
University of Pennsylvania
Computer and Information Science Department
3330 Walnut Street
Philadelphia, PA 19104-6389

Office:   Levine 303
Email:   linhphan AT cis.upenn.edu
     Research Interests . Publications . Professional Experience . Activities . Awards & Scholarship . Affiliations
 
    Research Interests
  • Adaptive cyber-physical systems: Multi-mode theories; compositional analysis and component-based design;
    run-time verification; platform and adaptive controller co-design.
  • Distributed real-time control embedded systems: Formal modeling and performance analysis; fault-tolerant techniques;
    compositions of automata, real-time scheduling, and network calculus theories.
  • Cloud computing: Resource management and scheduling.
    Professional Experience
  • Research assistant @ Embedded System Laboratory, School of Computing, National University of Singapore, Singapore (Aug 07-Feb 09)
  • Internship @ Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland (Oct 06 - Apr 07)
  • Teaching assistant for
    • CS4271 Critical Systems and their Verification (2008)
    • CS5270 Verification of Real-time Systems (2002/03, 2004/05)
    • CS4272 Hardware-software Codesign (2004-2006)
    • CS1101S Programming Methodology ( 2000-2002)
  • Guest lectures for
    • CIS 540: Principles of Embedded Computation (2012)
    • CIS 505: Software Systems (2011)
    • CIS 541: Embedded and Cyber Physical Systems (2010)
    • CSE 441 & 541: Embedded Software for Life Critical Application (2010)
    • CIS 480/CIS 899 Embedded and Cyber Physical Systems (2009)
    Professional Activities
  • Program Committee Co-Chair
    • Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2011.
    • Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2011.
  • Publicity Chair, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2013.
  • Web Chair, Cyber-Physical Systems Week, 2013.
  • Program Committee Member
    • IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2010, 2011, 2012.
    • IEEE Real-Time Systems Symposium (RTSS), 2012.
    • IEEE Real-Time Systems Symposium, Work-In-Progress, 2012.
    • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Work-In-Progress, 2010, 2011, 2012.
    • Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2010, 2012.
    • Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2012.
    • Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2011, 2012.
    • International Workshop on Worst-case Traverse Time (WCTT), 2011, 2012.
    • RTSS@Work, 2011, 2012.
    • International Conference on Embedded and Multimedia Computing (EMC), 2010, 2011.
    • Brazilian Workshop on Real-Time Systems (WTR), 2011.
    Awards & Scholarships
  • NUS Dean's Graduate Research Excellence (2009)
  • NUS Graduate Scholarship (2003 to 2007)
  • Singapore Scholarship (1999 to 2003)
  • Dean's list (1999-2000)
Last updated: July, 2011