Chao Wang
  Associate Professor
  Department of Computer Science
  University of Southern California

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





My research is in software engineering and formal methods, with emphasis on logic, verification, and automated reasoning. I develop methods and tools for improving the safety, reliability and security of critical systems. Of particular interest are the emerging software applications in cyber physical systems (CPS) and the Internet of Things (IoT).

Publications [Google Scholar]:


Recent projects:

  • ConcBugAssist (tools for diagnosis and repair of concurrency bugs)
  • Round-Up (dynamic analysis tools for concurrent data structures)
  • R-Inspect (model checking/symbolic execution for concurrent software)
  • Web-Inspector (tools for analyzing JavaScript-based web applications)
  • CCmutator (a concurrent C/C++ program mutation generation tool)
  • SC Sniffer (side-channel leak detection and mitigation tools)
  • Shield Synthesizer (software tools for program/controller synthesis)


Professional activities:




Current Students:


Former Students:

  • Lu Zhang (Ph.D. 2016), first employment: Oracle
  • Hassan Eldib (Ph.D. 2015), first employment: Postdoc at Rice University
  • Sepideh Khoshnood (M.S. 2015), first employment: Microsoft
  • Arijit Chattopadhyay (M.S. 2014), first employment: Bloomberg
  • Kevin Hoang (B.S. 2014) , first employment: SAIC
  • Kiran Adhikari (M.S. 2013), first employment: Intel