Ning Luo 罗 宁

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.