Chao Wang    

  Prospective Students

I am recruiting new PhD students who are good at math and programming, and want to pursue a research career after graduation.

Broadly speaking, we work on two types of research problems:

  • Verification: Can we formally verify that critical software components are designed correctly, their implementations are free of runtime errors, and when running on real devices, they do not leak sensitive information through side channels?
  • Program synthesis: Can we automatically generate software code from their formal or informal specifications? What are the compelling applications where synthesis can offer more efficient, reliable, and secure solutions than manually written code?

We focus on two applications at the moment: reliable concurrent software and secure embedded software. For example, we are supported by the following grants:

I also have broad interests in logic, verification, and automated reasoning; for more information please refer to this document.

If you are interested in joining my group, please send your resume with the subject "Applicant: your_name ".

About USC: "Located in Los Angeles, California, this Disney-like campus is home to one of the most prestigious universities in the world..."

Additional Info

(From what I know getting a PhD in CS is not easy: if you are not sure, read Philip J. Guo's memoir first.)