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

Office:   279 South, Levine Hall
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
    • CIS 480/CIS 899 Embedded and Cyber Physical Systems (2009)
    • 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
    • CSE 441 & 541: Embedded Software for Life Critical Application (2010)
    • CIS 541: Embedded and Cyber Physical Systems (2010)
    • CIS 505: Software Systems (2011)
    Professional Activities
  • PC Co-chair, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2011.
  • PC Co-chair, Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2011.
  • PC Member, Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 2012.
  • PC Member, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Work-In-Progress, 2010, 2011 and 2012.
  • PC Member, Workshop on Cyber-Physical Systems, Networks, and Applications ( CPSNA), 2011.
  • PC Member, International Workshop on Worst-case Traverse Time ( WCTT), 2011.
  • PC Member, IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2010 and 2011.
  • PC Member, Brazilian Workshop on Real-Time Systems ( WTR), 2011.
  • PC Member, International Conference on Embedded and Multimedia Computing (EMC), 2010.
  • PC Member, Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2010.
    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