Yuxiang Qiu

Hi! I’m a first-year Ph.D. student in Computer and Information Science at the University of Pennsylvania and a member of the Schlein Center for Cybersecurity, advised by Sebastian Angel.

I’m interested in making computation provably secure and verifiable while keeping it practical. More concretely, I work on proof systems and on building and deploying them efficiently, drawing on ideas from programming languages, automated reasoning, and hardware acceleration.

Before coming to Penn, I got a master’s degree at University College London, where I was advised by Philipp Jovanovic and Alberto Sonnino. I also spent a year as a B.S. CS exchange student at Georgia Tech.