Ning Luo

Ning Luo is a tenure-track Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign. She holds a Ph.D. in Computer Science from Yale University and completed a postdoctoral fellowship at Northwestern University.

• Education: BS in Mathematics, Shandong University (2017); Ph.D. in Computer Science, Yale University (2022)

Her research focuses on combining formal methods, automated reasoning, programming languages, and cryptography to achieve security, verifiability, and confidentiality in complex systems. Recent works include zero-knowledge proofs for SMT theorems, privacy-preserving interdomain verification, and oblivious automata for secure regular expression matching.

Her publications span top venues like USENIX Security, CCS, ESORICS, and INFOCOM, with interests in zero-knowledge protocols, formal verification, secure multi-party computation, and privacy-enhancing technologies. She has received multiple awards including the Yale Distinguished Dissertation Award (2023) and CCS Distinguished Paper Award (2022).

• Ph.D. advisees: Gefei Tan (UIUC), Lenny Liu (UIUC)
• Former mentees: Haotian Chu (NU), John Kolesar (Yale), Daniel Luick (Yale)

She teaches courses on Computer Security, Cryptography, and Deployable Privacy Technologies, emphasizing hands-on implementation of cryptographic frameworks like MP-SPDZ and ObliVM. Her lab (CSL 457) actively seeks students with strong research integrity.