We always look for suitable candidates to join our newly formed Security, Privacy and Reliability Lab (). The following are some of the topics of our current interest.

• Automated software verification for security and correctness.
• Software specialization for performance and security.
• Internet measurement of security and privacy problems.
• Rethinking the security of parallel and distributed systems.
• Privacy-preserving techniques for emerging applications.
• Adversarial machine learning in software security.

If you are interested in working with me, please send me your CV, research interest and a paragraph on why do you want a PhD.

I am looking for self-motivated, hard-working and proactive students with exceptional programming and analytical abilities. Following qualities will be considered as a plus (not required).

• Experience with math olympiad or competitive programming.
• Multiple years of system-level programming experience.
• Exceptional writing and presentation skills (publications in competitive venues).
• Prior experience in computer security.

The primary mission of our lab is to create field-transforming knowledge and world-class researchers. Throughout your Ph.D. journey, I will provide extensive training to sharpen your problem finding, problem formulation, communication, and leadership skills. I will actively help to prepare you (and package your profile) for academic or industry research positions. Last but not the least, I am compassionate, understanding, and fun to work with. To know more about our lab, work environment, and culture, please feel free to contact our existing or former members.