About Me
I am a tenure-track Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign. I earned my Ph.D. in Computer Science from Yale University, advised by Ruzica Piskac. Prior to joining UIUC, I spent a wonderful year as a Postdoctoral Fellow in Computer Science at Northwestern University, hosted by Xiao Wang.
My research combines formal methods, automated reasoning, programming language, and cryptography to achieve security, verifiability, and confidentiality in practical and challenging scenarios.
I am looking for motivated and energetic Ph.D. students. Candidates are expected to have a solid background in Computer Science. No prior experience in cryptography or formal methods is required. However, candidates must be brave and eager to learn new things. The highest standard is required for research integrity. Please send me an email if you are interested in working with me.
I dedicate 30 minutes every week to provide guidance or suggestions for first-generation college or underrepresented students. If you need help or wish to discuss topics such as life, career paths, graduate school applications, or research ideas on cryptography, formal methods, privacy, and security, please fill out the form to arrange a meeting.