Fei Xie
Associate 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
Grants and Awards
National Science Foundation, TC: Small: Collaborative Research: Trustworthy Hardware from Certified Behavioral Synthesis, PSU PI: Xie, 9/15/2009-8/31/2012
National Science Foundation, CSR: SHF: Small: Automata-Theoretic Approach to Hardware/Software Co-Verification, PI: Xie, 9/1/2009-8/31/2012
INTEL Research Grant, Formal Verification for High-Level Design and Synthesis Flows, PI: Xie, 10/01/2007-9/30/2010
National Science Foundation, CSR---EHS: Component-Based Hardware/Software Co-Verification of Embedded Systems, PI: Xie, 9/15/2007-8/31/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 committee, the Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2010), Grenoble, France, July 26-28, 2010
Program committee, the Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010), Singapore, June 9-11, 2010
Program co-chair, the Third IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009), Shanghai, China, July 8-10, 2009
Program committee, the Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2009), Cambridge, MA, July 13-15, 2009
Program committee, the Eighth International Conference on Formal Methods in Computer Aided Design (FMCAD 2008), Portland, OR, November 17-20, 2008.
Program committee, the First International Workshop on Internetware, Guangzhou, China, November 11, 2008
Program committee, the Seventh International Conference on System Simulation and Scientific Computing (ICSC 2008) and Asian Simulation Conference 2008, Beijing, China, October 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 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