Chao Wang

Associate Professor

University of Southern California


Office: SAL 334
  941 Bloom Walk, Los Angeles, CA 90089
Phone: 213-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 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:

On Concurrent Software
  • 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 (analyzing JavaScript-based web applications)
  • CCmutator (a concurrent C/C++ mutation generation tool)
On CPS & IoT Software

Professional activities:

Other activities


  • CSCI 599 Automated Reasoning and Verification (Fall 2017)
  • CSCI 699 Introduction to Software Synthesis (Fall 2017)
Other courses
  • ECE 5984 Advanced Verification Techniques for Software Systems (F15)
  • ECE 5506 Testing & Verification of Digital Systems (S16, S15, S14, S13, S12)
  • ECE 2574 Introduction to Data Structures and Algorithms (F14, S14, F11)
  • ECE/CS 5510 Multiprocessor Programming (F12)


PhD students
Former students
  • Lu Zhang (PhD 2016), first employment: Oracle
  • Hassan Eldib (PhD 2015), first employment: Postdoc at Rice University
  • Sepideh Khoshnood (MS 2015), first employment: Microsoft
  • Arijit Chattopadhyay (MS 2014), first employment: Bloomberg
  • Kiran Adhikari (MS 2013), first employment: Intel
  • Kevin Hoang (BS 2014), first employment: SAIC
  • Group photos: [1] [2] [3] [4] [5] [6] [7] [8] [9] [.] [.] [.] [.]