Chao Wang
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.