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. To know more about our lab, work environment, and culture, please feel free to contact our existing or former members.