Chao Wang
Office: GCS 505L 1031 Downey Way, 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.
