Abhiram Kothapalli

Security researcher

Scotty the Scottie Dog

Ask me about ^250 Verifiable Computation

I want to learn ^500 formal methods

I want to learn ^500 game theory

I want to learn ^500 cryptography

Carnegie Mellon University, Graduate Research Assistant

University of Illinois B.S. Computer Science, B.S. Mathematics

I am a Ph.D. student at Carnegie Mellon University working with Professor Bryan Parno. Broadly, I am interested in computer security, cryptography, formal methods, and distributed systems. Specifically, I want to explore how to construct and analyze secure systems. On a practical level, I am interested in developing security measures that respect human performance and their goals within a system. On a theoretical level, I want to study how techniques from cryptography, formal methods, and game theory can be used to prove formal, rigorous security guarantees about detailed protocol specifications. In the past I worked with Professor Nikita Borisov and Professor Andrew Miller.