Chao Wang

Professor of Computer Science

University of Southern California

Contact

Office: SAL 334
  941 Bloom Walk, Los Angeles, CA 90089
Phone: 213-821-2962 (I do not check voice mail)
Email: wang626 @ usc . edu

Index


My research is in software engineering and formal methods, with an emphasis on logic, verification, and automated reasoning. I develop methods and tools for principled design of software systems to improve safety, robustness, and security.