Fei Xie

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.

· Publications

· Grants and Awards

· System Validation Laboratory

Teaching

· CS314: Elements of Software Engineering, Winter 2025

· CS4/510: Code Large Language Models, Winter 2025

Professional Activities

· Services

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