Fei Xie
Assistant Professor
Department of Computer Science
Portland State University
Academic Background
Ph.D., Computer Science, The University of Texas at Austin
Research
My research interests are primarily in the areas of embedded systems, software engineering, and formal methods. I am particularly interested in development of formal method based techniques and tools for building safe, secure, and reliable software and embedded systems.
Teaching
Introduction to Software Engineering (CS 4/554), Fall 08 (coming soon)
Grants and Awards
National Science Foundation, CSR---EHS: Component-Based Hardware/Software Co-Verification of Embedded Systems, PI: Xie, 9/16/2007-9/15/2010
INTEL Equipment Grant, 2007
National Science Foundation, SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software, PSU PI: Xie, 9/1/2006-08/31/2009
Semiconductor Research Corporation (SRC), Scalable Co-Verification Based on Hardware IPs and Software Components, PI: Xie, Co-PI: Song, 10/1/2005-09/30/2008
INTEL Higher Education Award, 2004
Professional Activities
Program Co-chair, the Third IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July 6-9, 2009
Program committee, the Eighth International Conference on Formal Methods in Computer Aided Design, Portland, OR, November 17-20, 2008.
Program committee, the Seventh International Conference on System Simulation and Scientific Computing (ICSC 2008) and Asian Simulation Conference 2008, Beijing, China, Octobor 10-12, 2008
Program committee, the Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008), Yokohama, Japan, July 14-17, 2008
Publicity chair, the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, CA, June 5-7, 2008
Program committee, the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, CA, June 5-7, 2008
Program committee, the First International Workshop on Internetware, Beijing, China, May 28, 2008
Program committee, the 23rd Annual ACM Symposium on Applied Computing (SAC 2008). Fortaleza, Brazil, March 16-20, 2008.
Tutorial chair, the Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2007), Nice, France, May 30 - June 1st, 2007.
Fast abstract co-chair, the 29th Annual International Computer Software and Applications Conference (COMPSAC), Edinburgh, Scotland, July 25-28, 2005.
Contact
Office: FAB 120-10
Office phone: (503) 725-2403
Fax: (503) 725-3211
Email: xie "at" cs.pdx.edu
Postal: Department of Computer Science, P.O. Box 751, Portland State University, Portland, Oregon 97207