Abhiram Kothapalli
Abhiram Kothapalli researches zero-knowledge proof systems, which verify computations without revealing secret inputs. Work on HyperNova explores recursive proofs that reduce the overhead of proving computations with high-degree constraints, with applications to virtual-machine execution. Kothapalli earned a PhD in computer science from Carnegie Mellon University and received a Protocol Labs doctoral fellowship.